一般的な高次圏、つまりn-圏は難しくて歯が立ちません。せめて n = 2 の場合、2次元の圏くらいは扱ってみたいな、と思います。内容： 圏の圏とDOTN 2-圏と二重圏 計算ができない 圏の圏とDOTN圏の圏Catは2次元の圏の典型的例です。Catでの計算をするために、…