The representing localic groupoid for a geometric theory
Category Theory
2024-08-27 v2 Algebraic Geometry
Logic
Abstract
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.
Cite
@article{arxiv.2305.15209,
title = {The representing localic groupoid for a geometric theory},
author = {Graham Manuell and Joshua L. Wrigley},
journal= {arXiv preprint arXiv:2305.15209},
year = {2024}
}
Comments
37 pages, minor edits