意味 |
bicartesian closed categoryとは 意味・読み方・使い方
追加できません
(登録数上限)
Wiktionary英語版での「bicartesian closed category」の意味 |
bicartesian closed category
語源
名詞
bicartesian closed category (複数形 bicartesian closed categories)
- (category theory) A cartesian closed category which also has an initial object and such that for any pair of objects, A and B, in the category, the category has another object which is their coproduct, .
同意語
- BCCC
上位語
- cartesian closed category
- cocartesian closed category
下位語
- Heyting algebra
- Heyting prealgebra
参照
- Jeltsch, Wolfgang (2012). An Introduction to Category Theory and Categorical Logic, slide 21.
1
bicartesian closed categories
Wiktionary英語版
2
cartesian closed category
Wiktionary英語版
3
Heyting algebra
Wiktionary英語版
|
意味 |
bicartesian closed categoryのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのbicartesian closed category (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「bicartesian closed category」のお隣キーワード |
bicartesian closed category
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |