arXiv Analytics

Sign in

arXiv:2305.15209 [math.CT]AbstractReferencesReviewsResources

The representing localic groupoid for a geometric theory

Graham Manuell, Joshua L. Wrigley

Published 2023-05-24Version 1

We give an expository, and hopefully approachable, account of the Joyal-Tierney result that every topos can be represented as a topos of sheaves on a localic groupoid. We give an explicit presentation of a representing localic groupoid for the classifying topos of a given geometric theory and discuss links with the topological groupoids of Forssell.

Comments: 36 pages
Categories: math.CT, math.AG, math.LO
Subjects: 18F10, 22A22, 03G30, 06D22, 18B25
Related articles: Most relevant | Search more
arXiv:2104.05650 [math.CT] (Published 2021-04-12)
The over-topos at a model
arXiv:0905.0299 [math.CT] (Published 2009-05-04)
Lattices of theories
arXiv:1602.03867 [math.CT] (Published 2016-02-11)
On the geometric theory of local MV-algebras

Links

Toolbox