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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

An Introduction to Classifying Toposes

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Cambridge University Engineering Department, LR5 Average on weekdays: 8924.15283843 kWh Faculty of Education, 184 Hills Road, Cambridge, room 2S5

Other talks

Online Causal Inference Semina LMB Seminar - Mechanisms of mRNA packaging and export Title abstract tbc Title to be confirmed TBC Talk TBC
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity