On topological groupoids that represent theories
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909296194748416 |
|---|---|
| author | Wrigley, Joshua |
| author_facet | Wrigley, Joshua |
| contents | Grothendieck toposes, and by extension, logical theories, can be represented by topological structures. Butz and 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, Forssell, Butz and Moerdijk. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_16331 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | On topological groupoids that represent theories Wrigley, Joshua Category Theory Algebraic Geometry Logic 03G30 (Primary) 18B25, 22A22 (Secondary) Grothendieck toposes, and by extension, logical theories, can be represented by topological structures. Butz and 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, Forssell, Butz and Moerdijk. |
| title | On topological groupoids that represent theories |
| topic | Category Theory Algebraic Geometry Logic 03G30 (Primary) 18B25, 22A22 (Secondary) |
| url | https://arxiv.org/abs/2306.16331 |