Další seminář z algebry se koná 18.3.2021 od 13.00 online na platformě ZOOM. Informace pro připojení a další program semináře je zde.

Karol Szumilo

Infinity groupoids in lextensive categories

Abstrakt:
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.