Publication:
On topological groupoids that represent theories

Loading...
Thumbnail Image

Date

2026

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Associated reviews

Associated publications

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

Endorsement

Review

item.page.dataset

item.page.dataset