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
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.
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
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.
Explora el vocabulario más buscado
¿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