University of Cambridge > > Junior Category Theory Seminar >  An Introduction to Classifying Toposes

An Introduction to Classifying Toposes

Add to your list(s) Download to your calendar using vCal

  • UserAchilleas Kryftis - DPMMS
  • ClockThursday 24 November 2011, 14:00-15:00
  • HouseCMS, MR13.

If you have a question about this talk, please contact Guilherme Lima de Carvalho e Silva.

The talk will begin with the definition of a topos. The interpretation of logic in a topos will be presented (mainly through examples). Classifying toposes will also be defined, and some of their properties explained, demonstrating that they are useful tools for understanding geometric theories. The classifying topos for the theory of rings will be constructed and if there is time the construction of the classifying topos for a general cartesian theory will be outlined. Once we have the classifying topos for a cartesian theory there are several ways of obtaining classifying toposes for new geometric theories. Some of these methods will be presented.

This talk is part of the Junior Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity