An Introduction to Classifying Toposes

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

• Achilleas Kryftis - DPMMS
• Thursday 24 November 2011, 14:00-15:00
• CMS, 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.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• CMS, MR13
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• Junior Category Theory Seminar
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.