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.
我々は、区間型の単値性について研究しました。
Explore frequently searched vocabulary
Want to learn vocabulary more efficiently? Download the DictoGo app and enjoy more vocabulary memorization and review features!
Download DictoGo Now