大きい圏
large
定義
圏
$ C
が
大きい
⇔
小さい圏
ではない