Recent and upcoming talks by Chris Kapulkin

Chris Kapulkin: Homotopy Type Theory and internal languages of higher categories

Thursday, February 22, 2018, from 4 to 5:30pm East Hall, room 3088 Speaker: Chris Kapulkin (University of Western Ontario) Title: Homotopy Type Theory and internal languages of higher categories Abstract: Homotopy Type Theory (or HoTT) is an approach to foundations of mathematics, building on the homotopy-theoretic interpretation of type theory. continue reading…