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.
我們研究了區間類型的單一性。
探索常見搜尋詞彙