Chris Kapulkin: Cubical sets and higher category theory
Time: Wed 2018-11-14 10.00 - 11.45
Location: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
Participating: Chris Kapulkin (University of Western Ontario)
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.