1 Search Results for "Scott, Philip J."

Document
DOI: 10.4230/LIPIcs.FSCD.2021.26
Polymorphic Automorphisms and the Picard Group

Authors: Pieter Hofstra, Jason Parker, and Philip J. Scott

Published in: LIPIcs, Volume 195, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)

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.
Cite as

Pieter Hofstra, Jason Parker, and Philip J. Scott. Polymorphic Automorphisms and the Picard Group. In 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 195, pp. 26:1-26:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{hofstra_et_al:LIPIcs.FSCD.2021.26,
  author =	{Hofstra, Pieter and Parker, Jason and Scott, Philip J.},
  title =	{{Polymorphic Automorphisms and the Picard Group}},
  booktitle =	{6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)},
  pages =	{26:1--26:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-191-7},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{195},
  editor =	{Kobayashi, Naoki},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.26},
  URN =		{urn:nbn:de:0030-drops-142646},
  doi =		{10.4230/LIPIcs.FSCD.2021.26},
  annote =	{Keywords: Partial Horn Theories, Monoidal Categories, Definable Automorphisms, Polymorphism, Indeterminates, Normal Forms}
}
  • Refine by Author
  • 1 Hofstra, Pieter
  • 1 Parker, Jason
  • 1 Scott, Philip J.

  • Refine by Classification
  • 1 Theory of computation → Algebraic semantics
  • 1 Theory of computation → Categorical semantics
  • 1 Theory of computation → Equational logic and rewriting

  • Refine by Keyword
  • 1 Definable Automorphisms
  • 1 Indeterminates
  • 1 Monoidal Categories
  • 1 Normal Forms
  • 1 Partial Horn Theories
  • Show More...

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2021

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact