University of Cambridge > Talks.cam > Category Theory Seminar > Sattler model structures

Sattler model structures

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Tamara von Glehn.

I will give an overview of Christian Sattler’s paper “The Equivalence Extension Property and Model Structures” (arXiv:1704.06911), in which he introduces a new method to define Quillen model structures on Grothendieck toposes. This method can be applied to give a new elementary proof of the model structure for Kan complexes and to exhibit a previously unknown model structure on the category of cubical sets studied by Coquand and his collaborators. A key aspect is the so-called equivalence extension property, which expresses a form of Voevodsky’s univalence axiom.

This talk is part of the Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity