Polymorphic Automorphisms and the Picard Group.

From MaRDI portal

Publication:6159942

Jump to:navigation, search

DOI10.4230/LIPICS.FSCD.2021.26arXiv2102.11081OpenAlexW3183696390MaRDI QIDQ6159942

Pieter J. W. Hofstra, Philip J. Scott, Jason Parker

Publication date: 23 June 2023

Full work available at URL: https://arxiv.org/abs/2102.11081

zbMATH Keywords

monoidal categories normal forms polymorphism indeterminates definable automorphisms partial Horn theories

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

This page was built for publication: Polymorphic Automorphisms and the Picard Group.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6159942&oldid=35633283"