![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Tuesday 26 January 2021, 16:15-17:15
Large categories and quantifiers in topos theory
- 👤 Speaker: Michael Shulman (University of San Diego) 🔗 Website
- 📅 Date & Time: Tuesday 26 January 2021, 16:15 - 17:15
- 📍 Venue: Zoom (Meeting ID 943 7534 6045, passcode 252455)
Abstract
The internal logic of an elementary topos E makes it easy to “do mathematics” relative to E, with an automatic way to interpret types as objects of E. But it is unable to deal with large objects such as proper classes, indexed categories, or formulas with unbounded quantifiers. We can solve this problem by embedding E in its category of stacks of groupoids, whose internal logic is Martin-Lof dependent type theory with “1-truncated homotopy”. This allows us to automatically translate standard theorems of category theory into the analogous facts about indexed categories, and to formulate topos-theoretic analogues of unbounded axiom schemas such as separation and replacement.
Zoom link: https://maths-cam-ac-uk.zoom.us/j/94375346045?pwd=QlI3WFB2WFRhV1RzZzdyOHFVZk95dz09
Meeting ID 943 7534 6045 , passcode 252455
Series This talk is part of the Category Theory Seminar series.
Included in Lists
- All CMS events
- All Talks (aka the CURE list)
- bld31
- Category Theory Seminar
- CMS Events
- DPMMS info aggregator
- DPMMS lists
- DPMMS Lists
- DPMMS Pure Maths Seminar
- Hanchen DaDaDash
- Interested Talks
- ndb35's list
- School of Physical Sciences
- yk373's list
- Zoom (Meeting ID 943 7534 6045, passcode 252455)
Note: Ex-directory lists are not shown.