Paige North:Weak factorization systems and display map categories
Tid: On 2017-04-05 kl 10.00 - 11.45
Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
Medverkande: Paige North, University of Cambridge
In this talk, I will describe the relationship between weak factorization systems and display map categories modeling Pi, Sigma, and/or Id types. When an ambient category C is Cauchy complete, the problem of finding the structure of a display map category modeling Sigma and Id types within C reduces to a problem of characterizing weak factorization systems on C. I will describe the categories of these objects, and using this framework I will describe the relationship between display map categories modeling Id types and those modeling Pi types.