Geometry and Topology

Speaker: Karol Szumilo (University of Leeds)

"$\infty$-groupoids in lextensive categories"

Time: 11:30

Room: Zoom Meeting ID: 958 6908 4555

I will discuss a construction of a new model structure on simplicial objects in a countably extensive category (i.e., a category with well behaved finite limits and countable coproducts). This builds on previous work on a constructive model structure on simplicial sets, originally motivated by modelling Homotopy Type Theory, but now applicable in a much wider context. This is joint work with Nicola Gambino, Simon Henry and Christian Sattler.