L -| R :C→D があるとき、任意のEを持ってきて、 (-*L) -| (-*R) :CE→DE と持ち上がる。この事実をうまいこと絵に描くにはどうしたらいい？

カン拡張における上下左右： 入門の前に整理すべきこと - 檜山正幸のキマイラ飼育記の絵からの連想。コンマ圏の対象をコンマ対象と呼ぶと、コンマ対象はEが自明圏☆のときの左持ち上げとなる。コンマ圏の射は、左持ち上げの射。これは何の意味がある？[追記]…

カン拡張における上下左右： 入門の前に整理すべきこと - 檜山正幸のキマイラ飼育記の「ラムダ計算と類似の記法・図法」で： 他の描画方向なら、別な記法にすべきでしょう。 ↓のようになる。 →描画方向 ↓→ ↑→ →↓ →↑ 左拡張転置 ∪α ∩α α⊃ α⊃ 右拡張転置 ∩α ∪α…