univalence principle
一元性原理
demonstrating univalence
证明一元性
univalence condition
一元性条件
maintaining univalence
维持一元性
univalence property
一元性属性
with univalence
具有一元性
establishing univalence
建立一元性
univalence analysis
一元性分析
seeking univalence
寻求一元性
based on univalence
基于一元性
the univalence property is crucial for understanding higher category theory.
单值性是理解高阶范畴论的关键属性。
we investigated the univalence axioms in the context of type theory.
我们在类型理论的背景下研究了单值公理。
univalence allows for a more general notion of equality.
单值性允许对等式有更广义的理解。
the univalence condition simplifies certain calculations in homotopy type theory.
单值条件简化了同伦类型论中的某些计算。
we proved the univalence of the identity morphism.
我们证明了恒等态的单值性。
univalence provides a powerful tool for reasoning about types.
单值性为推理类型提供了一个强大的工具。
the concept of univalence is central to higher-dimensional algebra.
单值性概念是高维代数的中心。
we explored the implications of univalence for model checking.
我们探讨了单值性对模型检查的影响。
univalence plays a significant role in the foundations of mathematics.
单值性在数学基础中扮演着重要角色。
the univalence axioms are essential for constructing higher-order universes.
单值公理对于构造高阶宇宙至关重要。
we studied the univalence of interval types.
我们研究了区间类型的单值性。
univalence principle
一元性原理
demonstrating univalence
证明一元性
univalence condition
一元性条件
maintaining univalence
维持一元性
univalence property
一元性属性
with univalence
具有一元性
establishing univalence
建立一元性
univalence analysis
一元性分析
seeking univalence
寻求一元性
based on univalence
基于一元性
the univalence property is crucial for understanding higher category theory.
单值性是理解高阶范畴论的关键属性。
we investigated the univalence axioms in the context of type theory.
我们在类型理论的背景下研究了单值公理。
univalence allows for a more general notion of equality.
单值性允许对等式有更广义的理解。
the univalence condition simplifies certain calculations in homotopy type theory.
单值条件简化了同伦类型论中的某些计算。
we proved the univalence of the identity morphism.
我们证明了恒等态的单值性。
univalence provides a powerful tool for reasoning about types.
单值性为推理类型提供了一个强大的工具。
the concept of univalence is central to higher-dimensional algebra.
单值性概念是高维代数的中心。
we explored the implications of univalence for model checking.
我们探讨了单值性对模型检查的影响。
univalence plays a significant role in the foundations of mathematics.
单值性在数学基础中扮演着重要角色。
the univalence axioms are essential for constructing higher-order universes.
单值公理对于构造高阶宇宙至关重要。
we studied the univalence of interval types.
我们研究了区间类型的单值性。
探索常用高频词汇