generated at
2/21/2025, 8:08:16 PM
大きな圏
小さな圏
ではない
圏
大きな圏でも
局所的に小さな圏
であることはある
例
集合の圏Set
群の圏Grp
アーベル群の圏Ab
位相空間の圏Top
参考
ベシ圏
p.87-