2016-02-29から1日間の記事一覧
圏 論理 自己双対コンパクト閉圏 超コンパクト論理 モノイド閉圏 一般コンパクト論理 対称モノイド閉圏 対称コンパクト論理 デカルト閉圏 デカルト・コンパクト論理 デカルト・コンパクト論理が、直観論理の連言・含意フラグメント。超コンパクト論理、×, I …
多圏 シーケント計算 ラムダ計算 結合 カット 変数と式の置換(substitution) 全体のモノイド積 マージ なし カリー化 含意導入 ラムダ抽象 アンカリー化 含意消去 評価 部分的モノイド積 連言導入 ペアリング 部分的モノイド積の逆 連言消去 アンペアリン…
Seq(C)とPoly(C)はアルファベット(または指標)で相対化する。アルファベットの構成要素は、 |C| の有限部分集合V Mor(C| の有限部分集合E dom, codをE上に制限したときに、(V, E)が有向グラフになることが条件。さらに関係の有限性を入れる。 Cにおいて(V,…
記法を変える。PolyFull(C)じゃなくて、Seq(C)にする。 Seq(C)は単なる圏。その対象を列(シーケンス)、その射をシーケントと呼ぶ。 Seq(C)のモノイド積(連接)は、# と書く(++, ##の略記)。 |Seq(C)| = |C|* Seq(C)(Γ, Δ) C(Prod(Γ), Prod(Δ)) シングル…