Homotopy Type Theory
Category — type theory

Overview

The Homotopy Type Theory wiki has 12 pages in this category.

Pages

• axioms
• dependent type
• function extensionality
• function type
• higher inductive type
• identity type
• semantics
• transport
• type
• type family
• type theory
• univalence axiom