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

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

コンマ対象は左持ち上げ←マズイ!

カン拡張における上下左右: 入門の前に整理すべきこと - 檜山正幸のキマイラ飼育記の絵からの連想。

コンマ圏の対象をコンマ対象と呼ぶと、コンマ対象はEが自明圏☆のときの左持ち上げとなる。コンマ圏の射は、左持ち上げの射。これは何の意味がある?

[追記]「コンマ対象」は2-圏の用語にある。コンマ圏を抽象化した概念。よって、コンマ圏の対象をコンマ対象と呼ぶのはマズイ![/追記]