検索内容:
関手圏は、見かけ上は無関係に思える代数的構造の間に意外なつながりをしばしば明らかにします。
プロトンは最後の周回で、先頭集団を壊滅させた2つの厳しいカテゴリーを超える登りに苦しんだ。
多くの論理体系において、有限積と有限余積を持ち、カルテシアン閉である圏は、連言や選言、および含意を解釈するための自然な場を提供する。
ワークショップでは、初期対象を持ち、任意の対象 A と B に対して余積 A∐B を持つ新しい直積閉圏（直積と余積の両方を備えた閉圏）を構成し、その余積が計算効果間の非決定的選択をモデル化することを示しました。
単純型ラムダ計算のモデルとなる、終対象と任意の2対象の直積および指数対象を備えた圏は、高階関数に関する推論を容易にする。
いくつかの広く研究されているカルテシアン閉圏は、単純型ラムダ計算の意味論的基盤を提供する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
