Disambiguation evidence for univalence axiom via surface form

"univalence axiom"

Triples (4)

Triples where some other subject referred to this entity as "univalence axiom".

Vladimir Voevodsky → notableIdea →
"univalence axiom"
↳ resolves to univalence axiom
ⓘ
univalent foundations program → basedOn →
"univalence axiom"
↳ resolves to univalence axiom
ⓘ
univalent foundations program → coreConcept →
"univalence axiom"
↳ resolves to univalence axiom
ⓘ
homotopy type theory → coreConcept →
"univalence axiom"
↳ resolves to univalence axiom
ⓘ