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

## Displayed categoriesAdd to your list(s) Download to your calendar using vCal - Benedikt Ahrens (INRIA Nantes)
- Tuesday 01 November 2016, 14:15-15:15
- MR5, Centre for Mathematical Sciences.
If you have a question about this talk, please contact Tamara von Glehn. Displayed categories formalize the activity of building new categories from old ones by considering `objects with structure’. They also allow one to give a simple definition of fibration without referring to equality of objects. In my talk, I develop some `displayed category theory’. I then give some use cases: first, the construction of an equivalence of categories between cwf structures and split type structures, and second, a proof of the Structure Identity Principle using displayed category theory. Afterwards I discuss the definition of fibrations in terms of displayed categories. This is joint work with Peter Lumsdaine. 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
- MR5, Centre for Mathematical Sciences
- School of Physical Sciences
Note that ex-directory lists are not shown. |
## Other listsCambridge 3Rs seminar series ICE Research Seminar Series Datalog for Program Analysis: Beyond the Free Lunch## Other talks“Modulating Tregs in Cancer and Autoimmunity” Keynes and collecting Degas in Britain and Cambridge Gendering Decryption - Decrypting Gender Steve Kelly (University of Oxford)- Title to be confirmed. Stochasticity and robustness in morphogenesis From Networks to Function – Computational Models of Organogenesis |