Homotopy type theory (HoTT) is an area of modern foundational mathematics that combines concepts from homotopy theory, type theory, and category theory. It emerged as a field of study in the early 2010s and has since gained significant attention for its potential to provide a new foundation for mathematics. Key features of Homotopy Type Theory include: 1. **Types as Spaces**: In HoTT, types can be interpreted as homotopical spaces.
New to topics? Read the docs here!