>>553
>モノの集まりをもってくればそのまま圏になる

それで小さい圏はどう定義する?