Cartesian closed category（圏論において）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

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.

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

活用形複数形

plural of Cartesian closed category

日本語の意味

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

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

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

Webで検索する