Homotopy type theory

Concept

A field of mathematics that combines homotopy theory with type theory, offering a new foundational approach to mathematics.

Mentioned in 1 video

Videos Mentioning Homotopy type theory

Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124

Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124

Lex Fridman

A field of mathematics that combines homotopy theory with type theory, offering a new foundational approach to mathematics.