Uniform Kan fibrations from scratch

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

• Eric Faber (DPMMS)
• Tuesday 15 May 2018, 14:15-15:15
• MR3, Centre for Mathematical Sciences.

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:

• 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
• MR3, Centre for Mathematical Sciences
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.