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

  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

Uniform Kan fibrations from scratch

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Stephenson Seminar Room, Hopkins Building, Department of Biochemistry Hybrid: in-person in Cambridge & streaming online, via YouTube LT1, Engineering Department

Other talks

Title to be confirmed Afternoon Break Unveiling the curtain with ukubuyisa or go lata: complicated roles of museums and nation states in the cultural repatriation discourse and practice in southern Africa Max Perutz Lecture - Title TBC Group Work Cambridge RNA Club - ONLINE
 

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