圏論というとすぐ基礎論オタが出てくるよね。
はっきりいってウザイ。

smallもlargeも区別しなくていいんだよ、ほとんどの場合。