m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 多圏 モノイド圏 ラムダ計算 論理 圏 積 指数 双対 テンパリー／リーブ圏 釘列の併置 積に同じ 自己双対 符号付きテンパリー／リーブ圏 釘列の併置 双対との積 符号の反転 関係圏 集合の直積 積に同じ 自己双対 ベクトル空間の圏 テンソル積 双対との積 双対空間 集合圏 直積 関数集合 なし 自然数の足し算と順序の圏 足し算 制限差 なし ハイティンク代数 ∧ ⊃ なし ブール代数 ∧ ⊃ ¬ テンパリー／リーブ圏の対象は並んだ釘、釘の数を自然数だと思えば対象はN。符号付きの場合は、{+, -}*が対象。符号を無視すると通常のテンパリー／リーブ圏。自然数、ハイティンク代数、ブール代数は順序によりやせた圏とみなす。 圏 論理記… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160227%2F1456566129" title="モノイド閉圏と多圏を使ってする論理 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-02-27 18:42:09 rich https://m-hiyama-memo.hatenablog.jp/entry/20160227/1456566129 1.0 100%