Isotropy of algebraic theories

DOI10.1016/J.ENTCS.2018.11.010OpenAlexW2904960001WikidataQ113317487 ScholiaQ113317487MaRDI QIDQ2134819

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

Publication date: 3 May 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2018.11.010

zbMATH Keywords

algebraic theoriesisotropy groupstoposes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Quotient Categories and Phases ⋮ Covariant isotropy of Grothendieck toposes and extensive categories ⋮ Isotropy groups of free racks and quandles ⋮ Inner automorphisms of presheaves of groups

Cites Work

• Unnamed Item
• Unnamed Item
• An inner automorphism is only an inner automorphism, but an inner endomorphism can be something strange.
• Multifraction reduction. I: The 3-Ore case and Artin-Tits groups of type FC.
• Core algebra revisited
• Sheaves in geometry and logic: a first introduction to topos theory
• Free lattices
• Free lattices. II
• Theories, Sites, Toposes

This page was built for publication: Isotropy of algebraic theories