Skip to content

Homotopy Type Theory

Photo of Mark Hopkins
Hosted By
Mark H. and Rowan D.
Homotopy Type Theory

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.

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