univalence principle
principe d'univalence
demonstrating univalence
démontrer l'univalence
univalence condition
condition d'univalence
maintaining univalence
maintenir l'univalence
univalence property
propriété d'univalence
with univalence
avec univalence
establishing univalence
établir l'univalence
univalence analysis
analyse d'univalence
seeking univalence
rechercher l'univalence
based on univalence
basé sur l'univalence
the univalence property is crucial for understanding higher category theory.
La propriété d'univalence est cruciale pour comprendre la théorie des catégories supérieures.
we investigated the univalence axioms in the context of type theory.
nous avons étudié les axiomes d'univalence dans le contexte de la théorie des types.
univalence allows for a more general notion of equality.
L'univalence permet une notion plus générale d'égalité.
the univalence condition simplifies certain calculations in homotopy type theory.
La condition d'univalence simplifie certains calculs en théorie des types homotopiques.
we proved the univalence of the identity morphism.
nous avons démontré l'univalence de la morphisme d'identité.
univalence provides a powerful tool for reasoning about types.
L'univalence fournit un outil puissant pour raisonner sur les types.
the concept of univalence is central to higher-dimensional algebra.
Le concept d'univalence est central en algèbre à dimensions supérieures.
we explored the implications of univalence for model checking.
nous avons exploré les implications de l'univalence pour la vérification des modèles.
univalence plays a significant role in the foundations of mathematics.
L'univalence joue un rôle important dans les fondements des mathématiques.
the univalence axioms are essential for constructing higher-order universes.
Les axiomes d'univalence sont essentiels pour construire des univers d'ordre supérieur.
we studied the univalence of interval types.
nous avons étudié l'univalence des types d'intervalle.
univalence principle
principe d'univalence
demonstrating univalence
démontrer l'univalence
univalence condition
condition d'univalence
maintaining univalence
maintenir l'univalence
univalence property
propriété d'univalence
with univalence
avec univalence
establishing univalence
établir l'univalence
univalence analysis
analyse d'univalence
seeking univalence
rechercher l'univalence
based on univalence
basé sur l'univalence
the univalence property is crucial for understanding higher category theory.
La propriété d'univalence est cruciale pour comprendre la théorie des catégories supérieures.
we investigated the univalence axioms in the context of type theory.
nous avons étudié les axiomes d'univalence dans le contexte de la théorie des types.
univalence allows for a more general notion of equality.
L'univalence permet une notion plus générale d'égalité.
the univalence condition simplifies certain calculations in homotopy type theory.
La condition d'univalence simplifie certains calculs en théorie des types homotopiques.
we proved the univalence of the identity morphism.
nous avons démontré l'univalence de la morphisme d'identité.
univalence provides a powerful tool for reasoning about types.
L'univalence fournit un outil puissant pour raisonner sur les types.
the concept of univalence is central to higher-dimensional algebra.
Le concept d'univalence est central en algèbre à dimensions supérieures.
we explored the implications of univalence for model checking.
nous avons exploré les implications de l'univalence pour la vérification des modèles.
univalence plays a significant role in the foundations of mathematics.
L'univalence joue un rôle important dans les fondements des mathématiques.
the univalence axioms are essential for constructing higher-order universes.
Les axiomes d'univalence sont essentiels pour construire des univers d'ordre supérieur.
we studied the univalence of interval types.
nous avons étudié l'univalence des types d'intervalle.
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