大きな圏 - mrsekut-p

大きな圏

小さな圏ではない圏

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

例

集合の圏Set

アーベル群の圏Ab

位相空間の圏Top

参考

ベシ圏 p.87-