3 ms·
Introduction to Homotopy Type Theory
- hikingsimulator 4y agoAs announced on his Twitter [1], Egbert Rijke has finished and published his introduction to the topic -- a work four years in the making. [1] https://twitter.com/EgbertRijke/status/1605798086462373888 https://twitter.com/EgbertRijke/status/1605798086462373888