University of Cambridge > Talks.cam > Junior Category Theory Seminar > Homotopy type theory and weak factorization systems

Homotopy type theory and weak factorization systems

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

If you have a question about this talk, please contact Sean Moss.

I will explain the connection between homotopy type theory and weak factorization systems, and describe the kinds of weak factorization systems that can arise from models of homotopy type theory.

This talk is part of the Junior 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