Search results- English - English

Keyword:

(Cartesian

Cartesian closed category

Noun

(category theory) A category which has a terminal object and which for every two objects A and B has a product A × B and an exponential object Bᴬ.

Japanese Meaning

圏論において、終対象を持ち、任意の2つの対象 A, B に対して積 A × B および指数対象 B^A を備える圏

What is this buttons?

The Cartesian closed category of simply-typed lambda calculus models makes reasoning about higher-order functions straightforward.

Google Translation / DeepL Translation

単純型ラムダ計算のモデルとなる、終対象と任意の2対象の直積および指数対象を備えた圏は、高階関数に関する推論を容易にする。

Details

Related Words

Cartesian closed categories

（ plural ）

Details

Cartesian natural transformation

Noun

(category theory) A natural transformation whose naturality squares are pullbacks.

Japanese Meaning

圏論において、各自然性のスクエアが引き戻し（pullback）の図となる特定の自然変換。

What is this buttons?

Google Translation / DeepL Translation

ワークショップで彼は、その自然性の図（正方形）が引き戻し（プルバック）になるような自然変換がどのように特徴付けられるかを説明した。

Details

Related Words

Cartesian natural transformations

（ plural ）

Details

Cartesian closed categories

Noun

form-of plural

plural of Cartesian closed category

Japanese Meaning

カルテジアン閉圏の複数形

What is this buttons?

Several widely studied Cartesian closed categories provide the semantic foundation for simply typed lambda calculus.

Google Translation / DeepL Translation

いくつかの広く研究されているカルテシアン閉圏は、単純型ラムダ計算の意味論的基盤を提供する。

Details

Cartesian natural transformations

Noun

form-of plural

plural of Cartesian natural transformation

Japanese Meaning

「Cartesian natural transformation」の複数形です。つまり1つ以上のCartesian natural transformationを指す表現であり、基本的な意味は個々のCartesian natural transformationに対して適用されるものです。

What is this buttons?

Researchers compared several Cartesian natural transformations to understand how they preserve product structures across different functors.

Google Translation / DeepL Translation

研究者たちは、異なる関手間で直積構造をどのように保つかを理解するために、いくつかの直積保存の自然変換を比較した。

Details

Search by Web