小さい圏の圏CAT
category of small categories
CAT自体は
大きな圏
なので自身を対象として含まない
圏
対象が圏で、射が関手の圏
射の結合律は、関手の定義より導ける
単位律も確かに成り立つ
性質
始対象
は
空圏0
終対象
は
単位圏1
https://ncatlab.org/nlab/show/CAT
https://qiita.com/norkron/items/f0de364cc980171b1db7#圏の圏