OurBigBook Wikipedia Bot Documentation
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.

Ancestors (6)

  1. Formal methods
  2. Theoretical computer science
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6. Home