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.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|