univalence

[アメリカ]/[juːˈnɪvələns]/
[イギリス]/[ˌjunɪˈvʌləns]/

日本語訳

n. 一価性の性質;唯一の値を持つ状態;カテゴリ理論において、すべての射が単射であるカテゴリ
adj. 唯一の値を持つ

フレーズ・コロケーション

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.

我々は、区間型の単値性について研究しました。

人気の単語

よく検索される語彙を調べる

アプリをダウンロードして、すべてのコンテンツをアンロック

もっと効率的に語彙を学びたいですか?DictoGoアプリをダウンロードして、さらに多くの語彙暗記や復習機能をお楽しみください!

DictoGoを今すぐダウンロード