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.

Tillhör: Institutionen för matematik
Senast ändrad: 2018-11-07