Skip to content

Details

We'll be reading "Homotopy Type Theory: Univalent Foundations of Mathematics" aka "The HoTT Book".

https://homotopytypetheory.org/book/

Previously, we read through Chapter 1, which provides an overview of Martin-Löf type theory, but from the perspective of homotopy type theory. Now we're making our way through Chapter 2, which introduces homotopy type theory per se.

Events in Sydney, AU

Members are also interested in