An Introduction to Classifying Toposes

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

• Guilherme Frederico Lima de Carvalho e Silva (University of Cambridge)
• Friday 14 October 2011, 14:00-15:00
• MR4.

If you have a question about this talk, please contact Jonathan Nelson.

The canonical place to interpret a first-order theory is the category of sets considering the well-behaved interaction between the syntax of the theory and the semantics that it provides. For more general theories (e.g. infinitary ones) this interaction is not so well-behaved, but by working in a more general setting we may find a suitable generalised universe of sets, i.e. a topos, where analogous interactions may be found. Thus Topos Theory can be thought of as a generalised Model Theory, where the classifying topos of a theory generalises the role that the category of sets plays for first-order theories.

I will assume the audience is familiar with the notions of adjunction and categorical limit, and will focus at least half of the talk on introducing the notion of topos along with many examples since this material shall serve as pre-requisite for many of the other talks given by the Category Theory group.

This talk is part of the Junior Algebra and Number Theory seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• Junior Algebra and Number Theory seminar
• MR4
• School of Physical Sciences
• bld31
• ndb35's list

Note that ex-directory lists are not shown.