最終更新日:2025/12/01
編集履歴(0)
元となった辞書の項目

bicartesian closed categories

名詞
活用形 複数形
日本語の意味
「bicartesian closed categories」は「bicartesian closed category」(直積と直和が存在し、なおかつ内部ホム(exponential)が定義される圏)の複数形です。 / つまり、日本語では「双直積閉圏」や「直積閉圏でかつ直和(初期対象と終対象)が存在する圏」と解釈できます。
このボタンはなに?

多くの論理体系において、有限積と有限余積を持ち、カルテシアン閉である圏は、連言や選言、および含意を解釈するための自然な場を提供する。

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★