The representing localic groupoid for a geometric theory

Graham Manuell, Joshua L. Wrigley

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 e…