Homotopy Type Theory

Hosted By
Mark H. and Rowan D.

Details
We'll be reading "Homotopy Type Theory: Univalent Foundations of Mathematics" aka "The HoTT Book".
https://homotopytypetheory.org/book/
We'll start with Chapter 1, which provides an overview of Martin-Löf type theory, but from the perspective of homotopy type theory.

Sydney Type Theory
See more events
Commonwealth Bank of Australia
Level 15, 255 Pitt Street · Sydney
Homotopy Type Theory