Polymorphic Automorphisms and the Picard Group.

DOI10.4230/LIPICS.FSCD.2021.26MaRDI QIDQ6159942zbMATH OpenOpenAlexFDO

Authors Pieter Hofstra, Jason Parker, Philip Scott

Publication date 23 June 2023

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

zbMATH Keywords

definable automorphismsindeterminatesmonoidal categoriesnormal formspartial Horn theoriespolymorphism

Mathematics Subject Classification ID

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

Abstract: We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant isotropy group) associated with an algebraic theory to the wider class of quasi-equational theories. We apply this characterization to prove that the isotropy group of a strict monoidal category is precisely its Picard group of invertible objects. Furthermore, we obtain an explicit description of the covariant isotropy group of a presheaf category.

Recommendations

• Inner automorphisms of presheaves of groups
• Inner autoequivalences in general and those of monoidal categories in particular
• Isotropy of algebraic theories
• Covariant isotropy of Grothendieck toposes and extensive categories
• Automorphism groups and Picard groups of additive full subcategories

Cited in

(7)

• The Campbell-Hausdorff group and a polar decomposition of graded algebra automorphisms
• Isotropy of algebraic theories
• Automorphism and similarity groups of forms determined by the characteristic polynomial
• Inner automorphisms of presheaves of groups
• Inner autoequivalences in general and those of monoidal categories in particular
• Inner automorphisms as 2-cells
• Inner automorphisms of groupoids

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6159942)