Publication: On topological groupoids that represent theories
Loading...
Date
2026
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Grothendieck toposes, and by extension, logical theories, can be represented by topological structures. Butz & Moerdijk showed that every topos with enough points can be represented as the topos of sheaves on an open topological groupoid. This paper tackles a follow-up question: we characterise, in model-theoretic terms, which open topological groupoids can represent the classifying topos of a theory. Intuitively, this characterises which groupoids of models contain enough information to reconstruct the theory. Our treatment subsumes many of the previous approaches found in the literature, such as that of Awodey, Butz, Forssell & Moerdijk.
Description
Keywords
Citation
Joshua L. Wrigley. "On Topological Groupoids That Represent Theories." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik: to appear (2026). DOI: 10.60866/CAM.227.
Rights and licensing
Except where otherwised noted, this item's license is described as Attribution 4.0 International