univalence

[EUA]/[juːˈnɪvələns]/
[RU]/[ˌjunɪˈvʌləns]/

Tradução

n. a propriedade de ser univalente; o estado de ter apenas um valor; na teoria das categorias, uma categoria na qual cada morfismo é um monomorfismo
adj. que tem apenas um valor

Frases & Colocações

univalence principle

princípio da univalência

demonstrating univalence

demonstrando univalência

univalence condition

condição de univalência

maintaining univalence

manter a univalência

univalence property

propriedade de univalência

with univalence

com univalência

establishing univalence

estabelecer univalência

univalence analysis

análise de univalência

seeking univalence

buscando univalência

based on univalence

baseado na univalência

Frases de Exemplo

the univalence property is crucial for understanding higher category theory.

A propriedade de univalência é crucial para entender a teoria das categorias superiores.

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

Nós investigamos os axiomas de univalência no contexto da teoria dos tipos.

univalence allows for a more general notion of equality.

A univalência permite uma noção mais geral de igualdade.

the univalence condition simplifies certain calculations in homotopy type theory.

A condição de univalência simplifica certos cálculos na teoria dos tipos de homotopia.

we proved the univalence of the identity morphism.

Nós provamos a univalência da morfismo de identidade.

univalence provides a powerful tool for reasoning about types.

A univalência fornece uma ferramenta poderosa para raciocinar sobre tipos.

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

O conceito de univalência é central para a álgebra de dimensão superior.

we explored the implications of univalence for model checking.

Nós exploramos as implicações da univalência para verificação de modelos.

univalence plays a significant role in the foundations of mathematics.

A univalência desempenha um papel significativo nas fundamentações da matemática.

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

Os axiomas de univalência são essenciais para construir universos de ordem superior.

we studied the univalence of interval types.

Nós estudamos a univalência dos tipos de intervalo.

Palavras Populares

Explore vocabulários pesquisados frequentemente

Baixe o aplicativo para desbloquear todo o conteúdo

Quer aprender vocabulário com mais eficiência? Baixe o aplicativo DictoGo e aproveite mais recursos de memorização e revisão de vocabulário!

Baixe o DictoGo agora