University of Birmingham > Talks@bham > Theoretical computer science seminar > Towards a localic proof of the localic groupoid representation of Grothendieck toposes

## Towards a localic proof of the localic groupoid representation of Grothendieck toposesAdd to your list(s) Download to your calendar using vCal - Christopher Townsend
- Friday 02 September 2011, 16:00-17:00
- 217 Computer Science.
If you have a question about this talk, please contact Paul Levy. Given that geometric morphisms can be represented as adjunctions between categories of locales, it feels natural to ask whether the representation of bounded geometric morphisms (i.e. Grothendieck toposes) via localic groupoids can be carried out using only locale theory. This could allow the representation theorem to be be proved without having to deploy some of the heavy machinery of topos theory (notably, sites and the pullback stability of various properties of geometric morphisms). Although I have not been able to complete such a proof I would like to present a strategy which will give some insight into how the localic view of geometric morphisms can be used in practice. The strategy relies on having a localic characterization of bounded geometric morphisms; although it is clear what this localic characterization should look like (for the theorem to work that is!) proving that the characterization is correct appears to be technically challenging. The talk will provide background on Joyal and Tierney’s representation of Grothendieck toposes using localic groupoids and so will provide some understanding of how this important theorem works. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- 217 Computer Science
- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsBiosciences seminars http://talks.bham.ac.uk/show/index/1942 Test## Other talksTBA The science of the large scale heliosphere and the missions that made it possible TBC Hidden Markov Model in Multiple Testing on Dependent Data Module tensor categories and the Landau-Ginzburg/conformal field theory correspondence |