Univalence Axiom
Concept
A key axiom in homotopy type theory, stating that axiomatically equivalent types can be considered identical.
Mentioned in 1 video
A key axiom in homotopy type theory, stating that axiomatically equivalent types can be considered identical.
