Homotopy Type Theory

Where it comes up

Theories of Everything

• Emily Riehl Makes Infinity Categories Elementary · 2026-04-06

  “If the foundations of mathematics had some sort of higher structure and was something like homotopy type theory, then we could teach infinity category theory to undergraduates, much like we teach something like abstract algebra to undergraduates today.”

  ▶ Listen from 1:24