検索内容:
圏Cと圏Dが圏の同値であることは、単位と余単位がともに自然同型である随伴を構成することで示された。
システム間の相互運用性を形式化するため、チームはゴーゲンが提唱した圏を検討して、異なるシグネチャと代数がどのように関係するかをモデル化した。
私たちの言語学ゼミでは、文法的なカテゴリーをいくつか比較して、それらが言語間でどのように機能するかを調べました。
プロトンは最後の周回で、先頭集団を壊滅させた2つの厳しいカテゴリーを超える登りに苦しんだ。
多くの論理体系において、有限積と有限余積を持ち、カルテシアン閉である圏は、連言や選言、および含意を解釈するための自然な場を提供する。
いくつかの広く研究されているカルテシアン閉圏は、単純型ラムダ計算の意味論的基盤を提供する。
その美術館の新しい展示室には、既存の分類や伝統的なラベルに当てはまらない作品が展示されていた。
そのアーティストは、伝統的なレッテルや期待から解放される手段としてカテゴリーの不在を受け入れた。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
