2023-04-14: Thorsten Altenkirch (University of Nottingham)

Tue, 14 Oct 2025 16:51:42 +0000

Thorsten Altenkirch (University of Nottingham)

What are higher categories and groupoids?

Abstract

Categories are like drugs: once you get addicted to one, your dealer comes up with something stronger and you aquire a new addiction. This is the games with higher categories.

I want to look at the definition of higher cats, actually w,1-cats in HoTT using semi-simplicial types and the directed replacement of simplicial types. Also I may discuss the globular approach (which works for higher groupoids but could also made to work for higher cats) I am wondering how these are related. This may help to address some open problems.

2023-04-14 15:00:00 UTC
LT711 and Online