CAT自体は大きな圏なので自身を対象として含まない

圏

対象が圏で、射が関手の圏

射の結合律は、関手の定義より導ける

単位律も確かに成り立つ

性質

始対象は空圏0

終対象は単位圏1