COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

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

## Homotopy type theory and algebraic weak factorization systemsAdd to your list(s) Download to your calendar using vCal - Nicola Gambino (University of Leeds)
- Tuesday 31 January 2017, 14:15-15:15
- MR5, Centre for Mathematical Sciences.
If you have a question about this talk, please contact Tamara von Glehn. The theory of weak factorisation systems and Quillen model structures provides a very convenient setting to construct and analyze models of Homotopy Type Theory, most notably the simplicial model defined by Voevodsky, in which types are interpreted as Kan fibrations. The aim of this talk is to explain how the theory of algebraic weak factorization systems provides an analogous understanding of the cubical model of Homotopy Type Theory defined by Coquand and his collaborators, in which types are interpreted as uniform Kan fibrations, i.e. fibrations equipped with a suitably coherent choice of diagonal fillers. This involves the development of a general method to construct algebraic which satisfy the so-called Frobenius property, and leads to a new proof of the right properness of the model structure for Kan complexes. The talk is based on joint work with Christian Sattler (Leeds). 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
- Interested Talks
- MR5, Centre for Mathematical Sciences
- School of Physical Sciences
- bld31
- ndb35's list
- yk373's list
Note that ex-directory lists are not shown. |
## Other listslanguage sciences The Danby Society: Downing College Science Society Visiting African Fellows' Research Showcase## Other talksNew micro-machines, new materials Making Refuge: Scripture and Refugee Relief Methane and the Paris Agreement Putting Feminist New Materialism to work through affective methodologies in early childhood research CANCELLED - Methodology Masterclass: Exploring the pedagogic possibilities of new diaspora formations and transnationalism. Interrogating T cell signalling and effector function in hypoxic environments |