ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
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 を備える圏
英語の意味
(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ᴬ.
関連語
Cartesian natural transformation
名詞
(category theory) A natural transformation whose naturality squares are pullbacks.
日本語の意味
圏論において、各自然性のスクエアが引き戻し（pullback）の図となる特定の自然変換。
英語の意味
(category theory) A natural transformation whose naturality squares are pullbacks.
関連語
