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.
This video is part of Masaryk University‘s Algebra seminar.
