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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Sattler model structures

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.

Other lists

Goldsmiths 1, Lecture Theatre, Department of Materials Science & Metallurgy https://cl-cam-ac-uk.zoom.us/j/96682930826?pwd=SVVpTFplRVRFeXhmOE1VejFVeTdzdz09 Pavillion Room, Hughes Hall, University of Cambridge

Other talks

Title and abstract tba Group Work Welcome Reception and Poster Session A scientists guide to the art of radiation therapy and Neurosurgery for the oncologist Title to be confirmed TBC
 

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