Chris Kapulkin: Cubical sets and higher category theory
Tid: On 2018-11-14 kl 10.00 - 11.45
Föreläsare: Chris Kapulkin (University of Western Ontario)
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University ￼
Abstract: I will report on the recent joint work with Voevodsky on using cubical sets to gain a better understanding of a number of constructions in higher category theory. This work is inspired by the use of cubical sets in Homotopy Type Theory by Coquand and his group.