univalence principle
univalent princip
demonstrating univalence
at demonstrere univalens
univalence condition
univalensbetingelse
maintaining univalence
at vedligeholde univalens
univalence property
univalensegenskab
with univalence
med univalens
establishing univalence
at etablere univalens
univalence analysis
univalensanalyse
seeking univalence
at søge efter univalens
based on univalence
baseret på univalens
the univalence property is crucial for understanding higher category theory.
Den univalente egenskab er afgørende for forståelsen af højere kategoriteori.
we investigated the univalence axioms in the context of type theory.
Vi undersøgte de univalente aksiomer i forhold til typeteori.
univalence allows for a more general notion of equality.
Univalens gør det muligt at have en mere generel forståelse af lighed.
the univalence condition simplifies certain calculations in homotopy type theory.
Den univalente betingelse forenkler bestemte beregninger i homotopitypeteorien.
we proved the univalence of the identity morphism.
Vi beviste den univalente egenskab ved identitetsmorfismen.
univalence provides a powerful tool for reasoning about types.
Univalens giver et kraftfuldt værktøj til at resonere om typer.
the concept of univalence is central to higher-dimensional algebra.
Konceptet om univalens er centralt for højere-dimensionel algebra.
we explored the implications of univalence for model checking.
Vi undersøgte konsekvenserne af univalens for modelcheckning.
univalence plays a significant role in the foundations of mathematics.
Univalens spiller en væsentlig rolle i matematikkens grundlag.
the univalence axioms are essential for constructing higher-order universes.
De univalente aksiomer er essentielle for at konstruere højere ordens universer.
we studied the univalence of interval types.
Vi studerede den univalente egenskab ved intervaltyper.
univalence principle
univalent princip
demonstrating univalence
at demonstrere univalens
univalence condition
univalensbetingelse
maintaining univalence
at vedligeholde univalens
univalence property
univalensegenskab
with univalence
med univalens
establishing univalence
at etablere univalens
univalence analysis
univalensanalyse
seeking univalence
at søge efter univalens
based on univalence
baseret på univalens
the univalence property is crucial for understanding higher category theory.
Den univalente egenskab er afgørende for forståelsen af højere kategoriteori.
we investigated the univalence axioms in the context of type theory.
Vi undersøgte de univalente aksiomer i forhold til typeteori.
univalence allows for a more general notion of equality.
Univalens gør det muligt at have en mere generel forståelse af lighed.
the univalence condition simplifies certain calculations in homotopy type theory.
Den univalente betingelse forenkler bestemte beregninger i homotopitypeteorien.
we proved the univalence of the identity morphism.
Vi beviste den univalente egenskab ved identitetsmorfismen.
univalence provides a powerful tool for reasoning about types.
Univalens giver et kraftfuldt værktøj til at resonere om typer.
the concept of univalence is central to higher-dimensional algebra.
Konceptet om univalens er centralt for højere-dimensionel algebra.
we explored the implications of univalence for model checking.
Vi undersøgte konsekvenserne af univalens for modelcheckning.
univalence plays a significant role in the foundations of mathematics.
Univalens spiller en væsentlig rolle i matematikkens grundlag.
the univalence axioms are essential for constructing higher-order universes.
De univalente aksiomer er essentielle for at konstruere højere ordens universer.
we studied the univalence of interval types.
Vi studerede den univalente egenskab ved intervaltyper.
Udforsk ofte søgte ordforråd
Vil du lære ordforråd mere effektivt? Download DictoGo-appen og få glæde af flere funktioner til at huske og gennemgå ordforråd!
Download DictoGo nu