Type theoretic approaches to semistrictness

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

• Alex Rice (University of Cambridge)
• Monday 23 October 2023, 13:00-14:00
• FS07, Computer Laboratory.

If you have a question about this talk, please contact nk480.

Throughout category theory, it is often the case that objects should be considered up to isomorphism instead of up to equality. In higher dimensional theories, this can be taken a step further by replacing equational laws (such as associativity of composition) by existence of a higher dimensional equivalences. Such theories are called “weak”, and while they are more expressive they become much harder to work with, motivating the search for “semistrict” definitions of higher categories.

I will give a brief history of some of the motivations and results in this area, before explaining our work on using type theories to give semistrict definitions of infinity categories. I will attempt to assume as little knowledge as possible, and rely on examples instead of any technical details.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

• FS07, Computer Laboratory

Note that ex-directory lists are not shown.