Concept
Homotopy type theory
Overview
variant of type theory incorporating the univalence axiom of Voevodsky
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- First-order logic
- Independence (mathematical logic)
- Proof assistant
- Foundations of mathematics
- Per Martin-Löf
- Mathematical logic
- Set theory
- Topology
- Intuitionistic type theory
- Metatheory
- Computer science
- Rocq
- Category theory
- Formal proof
- Identity type
Place in the tradition
Part of Type theory.