univalence

[EE. UU.]/[juːˈnɪvələns]/
[Reino Unido]/[ˌjunɪˈvʌləns]/

Traducción

n. la propiedad de ser univalente; el estado de tener solo un valor; en teoría de categorías, una categoría en la que cada morfismo es un monomorfismo
adj. que tiene solo un valor

Frases y colocaciones

univalence principle

principio de univalencia

demonstrating univalence

demostrando univalencia

univalence condition

condición de univalencia

maintaining univalence

mantener univalencia

univalence property

propiedad de univalencia

with univalence

con univalencia

establishing univalence

estableciendo univalencia

univalence analysis

análisis de univalencia

seeking univalence

buscando univalencia

based on univalence

basado en univalencia

Oraciones de ejemplo

the univalence property is crucial for understanding higher category theory.

La propiedad de univalencia es crucial para entender la teoría de categorías más alta.

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

investigamos los axiomas de univalencia en el contexto de la teoría de tipos.

univalence allows for a more general notion of equality.

la univalencia permite una noción más general de igualdad.

the univalence condition simplifies certain calculations in homotopy type theory.

la condición de univalencia simplifica ciertos cálculos en la teoría de tipos homotópicos.

we proved the univalence of the identity morphism.

demostramos la univalencia de la morfismo de identidad.

univalence provides a powerful tool for reasoning about types.

la univalencia proporciona una herramienta poderosa para razonar sobre tipos.

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

el concepto de univalencia es central en álgebra de dimensiones más altas.

we explored the implications of univalence for model checking.

exploramos las implicaciones de la univalencia para la verificación de modelos.

univalence plays a significant role in the foundations of mathematics.

la univalencia juega un papel significativo en las bases de las matemáticas.

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

los axiomas de univalencia son esenciales para construir universos de orden superior.

we studied the univalence of interval types.

estudiamos la univalencia de tipos de intervalo.

Palabras populares

Explora el vocabulario más buscado

Descarga la app para desbloquear todo el contenido

¿Quieres aprender vocabulario de manera más eficiente? ¡Descarga la aplicación DictoGo y disfruta de más funciones para memorizar y repasar vocabulario!

Descarga DictoGo ahora