Cartesian closed category

(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ᴬ.

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細

意味（1）

(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ᴬ.

In any event, Lambek showed that every typed lambda-theory gives a cartesian closed category — and conversely, every cartesian closed category gives a typed lambda-theory. This discovery led to a rich line of research blending category theory and computer science.

Google翻訳 / DeepL翻訳

詳細

Cartesian closed categories

（ plural ）

詳細

Cartesian closed category

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

アプリをダウンロード！

Cartesian closed category

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！