univalence

[USA]/[juːˈnɪvələns]/
[UK]/[ˌjunɪˈvʌləns]/

Oversættelse

n. egenskaben ved at være univok; tilstanden ved kun at have én værdi; i kategoriteori, en kategori, hvor hver morfisme er en monomorfi
adj. kun med én værdi

Udtryk & Fast Sammenstilling

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

Eksempelsætninger

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.

Populære Ord

Udforsk ofte søgte ordforråd

Download appen for at låse op for alt indhold

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