Quillen model structures from models of HoTT

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

• Steve Awodey (Departments of Philosophy and Mathematics, Carnegie Mellon University)
• Tuesday 20 October 2020, 14:15-15:15
• Zoom (Meeting ID 916 7928 3736, passcode 844306).

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:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• School of Physical Sciences
• Zoom (Meeting ID 916 7928 3736, passcode 844306)
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.