Cubical sets and higher category theory

Thursday, October 18, 2018 - 12:00

427 Thackeray Hall

Speaker Information
Chris Kapulkin
University of Western Ontario

Abstract or Additional Information

I will report on the recent work joint 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.