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
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.
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
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.
Explore vocabulários pesquisados frequentemente
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