Homotopy Type Theory

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.