univalence principle
univalensprinsippet
demonstrating univalence
å demonstrere univalens
univalence condition
univalensbetingelsen
maintaining univalence
å opprettholde univalens
univalence property
univalensegenskapen
with univalence
med univalens
establishing univalence
å etablere univalens
univalence analysis
univalensanalyse
seeking univalence
å søke etter univalens
based on univalence
baseret på univalens
the univalence property is crucial for understanding higher category theory.
Univelsitetsegenskapen er avgjørende for å forstå høyere kategoriteori.
we investigated the univalence axioms in the context of type theory.
Vi undersøkte univelsitetsaksiomene i sammenheng med typeteori.
univalence allows for a more general notion of equality.
Univelsitet tillater en mer generell forståelse av likhet.
the univalence condition simplifies certain calculations in homotopy type theory.
Univelsitetsbetingelsen forenkler visse beregninger i homotopityperteori.
we proved the univalence of the identity morphism.
Vi beviste univelsiteten til identitetsmorfismen.
univalence provides a powerful tool for reasoning about types.
Univelsitet gir et kraftfullt verktøy for resonering om typer.
the concept of univalence is central to higher-dimensional algebra.
Konseptet univelsitet er sentralt for høyere dimensjonale algebra.
we explored the implications of univalence for model checking.
Vi undersøkte konsekvensene av univelsitet for modellsjekking.
univalence plays a significant role in the foundations of mathematics.
Univelsitet spiller en vesentlig rolle i grunnleggingen av matematikken.
the univalence axioms are essential for constructing higher-order universes.
Univelsitetsaksiomene er essensielle for å bygge høyere ordens universer.
we studied the univalence of interval types.
Vi studerte univelsiteten til intervalltyper.
univalence principle
univalensprinsippet
demonstrating univalence
å demonstrere univalens
univalence condition
univalensbetingelsen
maintaining univalence
å opprettholde univalens
univalence property
univalensegenskapen
with univalence
med univalens
establishing univalence
å etablere univalens
univalence analysis
univalensanalyse
seeking univalence
å søke etter univalens
based on univalence
baseret på univalens
the univalence property is crucial for understanding higher category theory.
Univelsitetsegenskapen er avgjørende for å forstå høyere kategoriteori.
we investigated the univalence axioms in the context of type theory.
Vi undersøkte univelsitetsaksiomene i sammenheng med typeteori.
univalence allows for a more general notion of equality.
Univelsitet tillater en mer generell forståelse av likhet.
the univalence condition simplifies certain calculations in homotopy type theory.
Univelsitetsbetingelsen forenkler visse beregninger i homotopityperteori.
we proved the univalence of the identity morphism.
Vi beviste univelsiteten til identitetsmorfismen.
univalence provides a powerful tool for reasoning about types.
Univelsitet gir et kraftfullt verktøy for resonering om typer.
the concept of univalence is central to higher-dimensional algebra.
Konseptet univelsitet er sentralt for høyere dimensjonale algebra.
we explored the implications of univalence for model checking.
Vi undersøkte konsekvensene av univelsitet for modellsjekking.
univalence plays a significant role in the foundations of mathematics.
Univelsitet spiller en vesentlig rolle i grunnleggingen av matematikken.
the univalence axioms are essential for constructing higher-order universes.
Univelsitetsaksiomene er essensielle for å bygge høyere ordens universer.
we studied the univalence of interval types.
Vi studerte univelsiteten til intervalltyper.
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