3/10/2026
•
EN
The Axiom of Univalence
Explores the Axiom of Univalence in type theory, comparing type equality through isomorphisms and homotopy equivalences.