univalence

[Stati Uniti]/[juːˈnɪvələns]/
[Regno Unito]/[ˌjunɪˈvʌləns]/

Traduzione

n. la proprietà di essere univoco; lo stato di avere un solo valore; nella teoria delle categorie, una categoria in cui ogni morfismo è un monomorfismo
adj. che ha un solo valore

Frasi & Collocazioni

univalence principle

principio di univalenza

demonstrating univalence

dimostrazione della univalenza

univalence condition

condizione di univalenza

maintaining univalence

mantenimento della univalenza

univalence property

proprietà di univalenza

with univalence

con univalenza

establishing univalence

stabilimento della univalenza

univalence analysis

analisi della univalenza

seeking univalence

ricerca della univalenza

based on univalence

basato sulla univalenza

Frasi di Esempio

the univalence property is crucial for understanding higher category theory.

La proprietà di univalenza è cruciale per comprendere la teoria delle categorie superiori.

we investigated the univalence axioms in the context of type theory.

abbiamo investigato gli assiomi di univalenza nel contesto della teoria dei tipi.

univalence allows for a more general notion of equality.

la univalenza permette una nozione più generale di uguaglianza.

the univalence condition simplifies certain calculations in homotopy type theory.

la condizione di univalenza semplifica certi calcoli nella teoria dei tipi omotopici.

we proved the univalence of the identity morphism.

abbiamo dimostrato la univalenza della morfismo identità.

univalence provides a powerful tool for reasoning about types.

la univalenza fornisce uno strumento potente per ragionare sui tipi.

the concept of univalence is central to higher-dimensional algebra.

il concetto di univalenza è centrale nell'algebra a dimensioni superiori.

we explored the implications of univalence for model checking.

abbiamo esplorato le implicazioni della univalenza per la verifica dei modelli.

univalence plays a significant role in the foundations of mathematics.

la univalenza svolge un ruolo significativo nelle fondamenta della matematica.

the univalence axioms are essential for constructing higher-order universes.

gli assiomi di univalenza sono essenziali per costruire universi di ordine superiore.

we studied the univalence of interval types.

abbiamo studiato la univalenza dei tipi intervallo.

Parole Popolari

Esplora il vocabolario più cercato

Scarica l'app per sbloccare tutti i contenuti

Vuoi imparare il vocabolario in modo più efficiente? Scarica l'app DictoGo e scopri altre funzionalità per memorizzare e ripassare il vocabolario!

Scarica DictoGo ora