univalence principle
demonstrating univalence
univalence condition
maintaining univalence
univalence property
with univalence
establishing univalence
univalence analysis
seeking univalence
based on univalence
the univalence property is crucial for understanding higher category theory.
De univalentie-eigenschap is cruciaal voor het begrijpen van hogere categorie-theorie.
we investigated the univalence axioms in the context of type theory.
We onderzochten de univalentie-axioma's in de context van type-theorie.
univalence allows for a more general notion of equality.
Univalentie maakt een algemenere notie van gelijkheid mogelijk.
the univalence condition simplifies certain calculations in homotopy type theory.
De univalentie-voorwaarde vereenvoudigt bepaalde berekeningen in homotopie-type-theorie.
we proved the univalence of the identity morphism.
We bewezen de univalentie van de identiteitsmorfisme.
univalence provides a powerful tool for reasoning about types.
Univalentie biedt een krachtig hulpmiddel voor redeneren over types.
the concept of univalence is central to higher-dimensional algebra.
Het concept van univalentie is centraal in hogere-dimensionale algebra.
we explored the implications of univalence for model checking.
We onderzochten de implicaties van univalentie voor model checking.
univalence plays a significant role in the foundations of mathematics.
Univalentie speelt een belangrijke rol in de grondslagen van de wiskunde.
the univalence axioms are essential for constructing higher-order universes.
De univalentie-axioma's zijn essentieel voor het construeren van hogere-orde universa.
we studied the univalence of interval types.
We bestudeerden de univalentie van interval-types.
univalence principle
demonstrating univalence
univalence condition
maintaining univalence
univalence property
with univalence
establishing univalence
univalence analysis
seeking univalence
based on univalence
the univalence property is crucial for understanding higher category theory.
De univalentie-eigenschap is cruciaal voor het begrijpen van hogere categorie-theorie.
we investigated the univalence axioms in the context of type theory.
We onderzochten de univalentie-axioma's in de context van type-theorie.
univalence allows for a more general notion of equality.
Univalentie maakt een algemenere notie van gelijkheid mogelijk.
the univalence condition simplifies certain calculations in homotopy type theory.
De univalentie-voorwaarde vereenvoudigt bepaalde berekeningen in homotopie-type-theorie.
we proved the univalence of the identity morphism.
We bewezen de univalentie van de identiteitsmorfisme.
univalence provides a powerful tool for reasoning about types.
Univalentie biedt een krachtig hulpmiddel voor redeneren over types.
the concept of univalence is central to higher-dimensional algebra.
Het concept van univalentie is centraal in hogere-dimensionale algebra.
we explored the implications of univalence for model checking.
We onderzochten de implicaties van univalentie voor model checking.
univalence plays a significant role in the foundations of mathematics.
Univalentie speelt een belangrijke rol in de grondslagen van de wiskunde.
the univalence axioms are essential for constructing higher-order universes.
De univalentie-axioma's zijn essentieel voor het construeren van hogere-orde universa.
we studied the univalence of interval types.
We bestudeerden de univalentie van interval-types.
Explore frequently searched vocabulary
Want to learn vocabulary more efficiently? Download the DictoGo app and enjoy more vocabulary memorization and review features!
Download DictoGo Now