大きな圏 - mrsekut-p

大きな圏

小さな圏ではない圏

大きな圏でも局所的に小さな圏であることはある

定義

圏 ($ \mathcal{C})が大きいとは：

対象の集まりや射の集まりが「集合」ではなく「クラス」である。

つまり、サイズが大きすぎて集合にはならない圏

例

集合の圏Set

アーベル群の圏Ab

位相空間の圏Top

参考

ベシ圏 p.87-