<Reference List> | |
Type: | Preprint |
National /International: | International |
Title: | The representing localic groupoid for a geometric theory |
Publication Date: | 2023-05-24 |
Authors: |
- Graham Richard Manuell
- Joshua L. Wrigley |
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. |
Institution: | DMUC 23-16 |
Online version: | http://www.mat.uc.pt...prints/eng_2023.html |
Download: | Not available |