Homotopy Type Theory

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.