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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹ️ Information

Homotopy type theory and weak factorization systems

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Ramsden Room, St Catharine's College Beyond Profit Enterprise Stream Arthur Marshall Meeting Room (next to EDC loft), Inglis Building, Engineering Department

Other talks

Title to be confirmed When Programmes Disagree About Programmes: Code Poetry and the Problem of Programme–Programme Communication Morning Tea and Coffee Topic Film, TV shows for Medical Education, ‘The Wire’ as a case study C2D3 Computational Biology Annual Symposium 2026 Quantum optics with organic molecules
 

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