自己函手圏
域圏と余域圏が等しい
函手圏
$ [C,C]
対象は函手
$ F\colon C → C
射は自然変換
強モノイダル圏
StMonCat [C,C] (*) C^
函手の結合がモノイダル積
恒等函手が単位対象