コンパクト閉圏と関係する圏：系統図 - 檜山正幸のキマイラ飼育記 メモ編 で次のような絵を描いた。ケリー双対といろいろな圏 - 檜山正幸のキマイラ飼育記 メモ編 では表にまとめている。セリンガーによる整理は セリンガーえらい！さすが！！ - 檜山正幸の…

モリソン／ウォーカー理論を覗いた印象では、セルの定義が幾何的だ。 組み合わせ的セル形状 幾何的セル形状 という分類があって、大多数、つうかモリソン／ウォーカー以外は組み合わせ的方法を取っている。モリソン／ウォーカーはセル＝ブローブを、最初から…