Weitere Informationen zum ausgewählten Vortrag

The effective model structure and infinity-groupoid objects

Karol Szumiło

Freitag, 23. Juli 2021 10:30Uhr

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.