The representing localic groupoid for a geometric theory (Preprint)

  <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
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support