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 > Category Theory Seminar > Large categories and quantifiers in topos theory

## Large categories and quantifiers in topos theoryAdd to your list(s) Download to your calendar using vCal - Michael Shulman (University of San Diego)
- Tuesday 26 January 2021, 16:15-17:15
- Zoom (Meeting ID 943 7534 6045, passcode 252455).
If you have a question about this talk, please contact José Siqueira. 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 This talk is part of the Category Theory Seminar series. ## This talk is included in these lists:- All CMS events
- All Talks (aka the CURE list)
- CMS Events
- Category Theory Seminar
- DPMMS Lists
- DPMMS Pure Maths Seminar
- DPMMS info aggregator
- DPMMS lists
- Hanchen DaDaDash
- Interested Talks
- School of Physical Sciences
- Zoom (Meeting ID 943 7534 6045, passcode 252455)
- bld31
- ndb35's list
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsOliver Wyman lecture : "The economic outlook: The news behind the headlines" Type the title of a new list here Cambridge Area Sequencing Informatics Meeting VIII (2016)## Other talksTitle - tbc 'Capital and Colonialism: The Return on British investments in Africa 1869-1969’ Writing Good Essays: What You Should Know About Writing! Messaging Mars and the dead: technology and fiction in Britain, 1900–1939 Memory, learning, and control of cognitive representations Next Steps and Close |