大きい圏
#Fleeting_Notes
大きい圏(Large category)
圏であるものの内、対象が
クラス
(
類
)であるものを大きい圏と呼ぶ
小圏
(
小さい圏
)の場合は対象が集合
ここらへんの対象は大きい圏らしい
圏Set
圏Sets
圏Grp
圏Grpd
圏の圏Cat
確認用
Q. 大きな圏
参考
圏論メモ #数学 - Qiita
調査用
Google.icon
大きな圏(日)
Google.icon
Large category(英)
Wikipedia.icon
大きな圏 - Wikipedia(日)
大きな圏(検索) - Wikipedia(日)
Wikipedia.icon
Large category - Wikipedia(英)
Large category(検索) - Wikipedia(英)