Constructive aspects of simplicial homotopy theory
- Date: Wednesday 6 March 2019, 14:00 – 15:00
- Location: Mathematics Level 8, MALL 1, School of Mathematics
- Type: Proofs, Constructions and Computations, Seminars, Pure Mathematics
- Cost: Free
Dr Nicola Gambino, University of Leeds. Part of the Proofs, Constructions and Computations Seminar Series.
I will discuss some progress towards proving constructively the results of simplicial homotopy theory that allow us to define a model of Martin-Löf type theory extended with Voevodsky's univalence axiom.
This is based on joint work in progress with Simon Henry and with Christian Sattler and Karol Szumilo.