Topoi, or not topoi, that is the question

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

• Ian Orton (University of Cambridge)
• Friday 04 March 2016, 11:00-12:00
• Rainbow Room (FS07), Computer Laboratory.

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.

Covering

• The definition of a topos
• Examples of topoi/toposes
• Properties and alternative definitions
• The internal language of a topos
• Using the internal language

Prerequisites

• 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.

This talk is included in these lists:

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.