「小さい圏」の2-圏
summary.icon
「小さい圏」の圏
の
2-圏
バージョン
誤解がなければ同じく
$ \mathbf{Cat}
と書こう
対象は
小さい圏
1-射は
函手
2-射は
自然変換