Homotopy Type Theory
Category — type theory

Overview

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

Pages

• axioms
• Book HoTT
• dependent type
• function extensionality
• function type
• higher inductive type
• identity type
• Martin-Löf Type Theory
• semantics
• transport
• type
• type family
• type theory
• univalent universe