このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2016-02-27から1日間の記事一覧

モノイド閉圏と多圏を使ってする論理

多圏 モノイド圏 ラムダ計算 論理

圏 積 指数 双対 テンパリー／リーブ圏 釘列の併置 積に同じ 自己双対 符号付きテンパリー／リーブ圏 釘列の併置 双対との積 符号の反転 関係圏 集合の直積 積に同じ 自己双対 ベクトル空間の圏 テンソル積 双対との積 双対空間 集合圏 直積 関数集合 なし …

Poly(C)の構成の方法

多圏 モノイド圏 気付いた

やたっ、これでうまくいきそう。Poly(C)の構成の方針 - 檜山正幸のキマイラ飼育記 メモ編の続き。地獄のHerculean taskを回避できそう。Poly(C)の構成の要点は： Cに部分対称構造（partially symmetric structure/system）を導入する。 Poly(C)とCの中間にPo…