University of Cambridge > Talks.cam > Category Theory Seminar > Quillen model structures from models of HoTT

  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

Quillen model structures from models of HoTT

Download to your calendar using vCal

If you have a question about this talk, please contact José Siqueira .

A Quillen model category satisfying certain additional conditions can be shown to interpret homotopy type theory, as does for instance Voevodsky’s model in simplicial sets. But the converse is also true: given a certain kind of abstract model of HoTT (as in the work of Orton & Pitts), one can endow the underlying category with a Quillen model structure, as was first shown by Sattler. A crucial role is played by the principle of univalence, which implies that the universe of fibrant objects is itself fibrant, by an argument due to Coquand.

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

Pharmacology Lecture Theatre (Tennis Court Road - see http://tinyurl.com/rxaj7 ) Judge Business School - Room to be confirmed Winstanley Lecture Hall (http://www.acs-cam.org.uk/CRSS/venue/venue_CRSS.html)

Other talks

The elephant in the room: Machine Learning directly into physical models Why people with schizophrenia die earlier? Mortality and accelerated ageing Online Causal Inference Seminar Toward affordable preventive healthcare Title TBC Differences between Robin and Neumann eigenvalues
 

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