We will continue online on Thursday, March 18th, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:

Karol Szumilo

Infinity groupoids in lextensive categories

Abstract:
I will discuss a construction of a new model structure on simplicial objects in a countably lextensive 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.