University of Cambridge > > Logic & Semantics for Dummies > Topoi, or not topoi, that is the question

Topoi, or not topoi, that is the question

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

If you have a question about this talk, please contact Ian Orton.

The concept of an elementary topos can be seen as a generalisation of the category of sets. Every topos possesses an internal language which can be used to reason about its objects. By retaining enough structure from the category of sets we get a powerful internal language that allows us to reason in familiar, “set-like” ways. However, the internal language differs from set theories, such as ZF, in several ways. In particular, the law of excluded middle does not (in general) hold inside a topos.

  • The definition of a topos
  • Examples of topoi/toposes
  • Properties and alternative definitions
  • The internal language of a topos
  • Using the internal language
  • Familiarity with basic category theory, particularly the category of sets
  • Familiarity with the simply typed lambda calculus as the internal language for CCCs. See here, lectures 9-11 for details.

This talk is part of the Logic & Semantics for Dummies series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


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