COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

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

## Topoi, or not topoi, that is the questionAdd 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:Note that ex-directory lists are not shown. |
## Other listsEDC Inclusive design Tanner Lectures Meeting the Challenge of Healthy Ageing in the 21st Century## Other talksAdrian Seminar: Ensemble coding in amygdala circuits Perfect toposes and infinitesimal weak generation Autumn Cactus & Succulent Show A lifelong project in clay: Virtues of Unity Panel Discussion: Climate Change Is Now Paracelsus' Chickens - Strange Tales from the History of Chemistry |