University of Cambridge > > Category Theory Seminar > Uniform Kan fibrations from scratch

Uniform Kan fibrations from scratch

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

If you have a question about this talk, please contact Tamara von Glehn.

It has been known for some time that the standard theory of Kan simplicial sets unavoidably uses non-constructive axioms. In recent work, Gambino and Sattler have made progress towards a constructive theory of Kan simplicial sets using algebraic weak factorization systems featuring ‘uniform’ Kan fibrations. In this talk I will show that it is possible to arrive at uniform Kan fibrations from scratch using a path object due to Garner and Van den Berg and a new class of generating trivial cofibrations called ‘mould inclusions’. This approach avoids non-constructive aspects of weak factorisation systems from the outset and focuses on Kan fibrations as modelling dependent types. This is joint work with Benno van den Berg.

This talk is part of the 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-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity