univalence principle
principiul univalenței
demonstrating univalence
demonstrarea univalenței
univalence condition
condiția de univalență
maintaining univalence
menținerea univalenței
univalence property
proprietatea de univalență
with univalence
cu univalență
establishing univalence
stabilirea univalenței
univalence analysis
analiza univalenței
seeking univalence
căutarea univalenței
based on univalence
pe baza univalenței
the univalence property is crucial for understanding higher category theory.
Proprietatea de univalență este esențială pentru înțelegerea teoriei categoriilor superioare.
we investigated the univalence axioms in the context of type theory.
Am investigat axiomele de univalență în contextul teoriei tipurilor.
univalence allows for a more general notion of equality.
Univalența permite o noțiune mai generală de egalitate.
the univalence condition simplifies certain calculations in homotopy type theory.
Condiția de univalență simplifică anumite calcule în teoria tipurilor de homotopie.
we proved the univalence of the identity morphism.
Am demonstrat univalența morfismului de identitate.
univalence provides a powerful tool for reasoning about types.
Univalența oferă un instrument puternic pentru raționamentul despre tipuri.
the concept of univalence is central to higher-dimensional algebra.
Conceptul de univalență este central în algebra multidimensională.
we explored the implications of univalence for model checking.
Am explorat implicațiile univalenței pentru verificarea modelelor.
univalence plays a significant role in the foundations of mathematics.
Univalența joacă un rol semnificativ în fundamentul matematic.
the univalence axioms are essential for constructing higher-order universes.
Axiomele de univalență sunt esențiale pentru construirea universurilor de ordin superior.
we studied the univalence of interval types.
Am studiat univalența tipurilor de intervale.
univalence principle
principiul univalenței
demonstrating univalence
demonstrarea univalenței
univalence condition
condiția de univalență
maintaining univalence
menținerea univalenței
univalence property
proprietatea de univalență
with univalence
cu univalență
establishing univalence
stabilirea univalenței
univalence analysis
analiza univalenței
seeking univalence
căutarea univalenței
based on univalence
pe baza univalenței
the univalence property is crucial for understanding higher category theory.
Proprietatea de univalență este esențială pentru înțelegerea teoriei categoriilor superioare.
we investigated the univalence axioms in the context of type theory.
Am investigat axiomele de univalență în contextul teoriei tipurilor.
univalence allows for a more general notion of equality.
Univalența permite o noțiune mai generală de egalitate.
the univalence condition simplifies certain calculations in homotopy type theory.
Condiția de univalență simplifică anumite calcule în teoria tipurilor de homotopie.
we proved the univalence of the identity morphism.
Am demonstrat univalența morfismului de identitate.
univalence provides a powerful tool for reasoning about types.
Univalența oferă un instrument puternic pentru raționamentul despre tipuri.
the concept of univalence is central to higher-dimensional algebra.
Conceptul de univalență este central în algebra multidimensională.
we explored the implications of univalence for model checking.
Am explorat implicațiile univalenței pentru verificarea modelelor.
univalence plays a significant role in the foundations of mathematics.
Univalența joacă un rol semnificativ în fundamentul matematic.
the univalence axioms are essential for constructing higher-order universes.
Axiomele de univalență sunt esențiale pentru construirea universurilor de ordin superior.
we studied the univalence of interval types.
Am studiat univalența tipurilor de intervale.
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