Last Updated：2025/12/01
Sentence
多くの論理体系において、有限積と有限余積を持ち、カルテシアン閉である圏は、連言や選言、および含意を解釈するための自然な場を提供する。
Quizzes for review
In many logical frameworks, bicartesian closed categories provide a natural setting for interpreting both conjunctions and disjunctions along with implication.
See correct answer
In many logical frameworks, bicartesian closed categories provide a natural setting for interpreting both conjunctions and disjunctions along with implication.
音声機能が動作しない場合はこちらをご確認ください
Related words
bicartesian closed categories
Noun
form-of
plural
Japanese Meaning
「bicartesian closed categories」は「bicartesian closed category」（直積と直和が存在し、なおかつ内部ホム（exponential）が定義される圏）の複数形です。 / つまり、日本語では「双直積閉圏」や「直積閉圏でかつ直和（初期対象と終対象）が存在する圏」と解釈できます。
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
