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

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

カン拡張の転置・反転置オペレータの記号法

圏一般論

カン拡張における上下左右： 入門の前に整理すべきこと - 檜山正幸のキマイラ飼育記の「ラムダ計算と類似の記法・図法」で：

他の描画方向なら、別な記法にすべきでしょう。

↓のようになる。

→描画方向 ↓→ ↑→ →↓ →↑
左拡張転置 ∪α ∩α α⊃ α⊃
右拡張転置 ∩α ∪α ⊂α ⊂α
左拡張反転置 ∩α ∪α α⊂ α⊂
右拡張反転置 ∪α ∩α ⊃α ⊃α