局所的に小さい圏
#Fleeting_Notes
局所的に小さい圏(locally small category)
圏
$ C
の任意の対象
$ a, b \in C
があったときに、射の集合
$ \mathrm{Hom}_C(a, b)
が集合になるもの
なんとなくで理解ために型で考えると
Hom(a, b) : Set
になっている圏が局所的に小さい圏
/mrsekut-p/局所的に小さな圏
確認用
Q. 局所的に小さい圏
関連
小さい圏
ホムセット
参考
https://alg-d.com/math/kan_extension/intro.pdf
メモ
独習 Scalaz — Hom 集合
調査用
/pogi-log/Google.icon
局所的に小さい圏(日)
/pogi-log/Google.icon
locally small category(英)
/pogi-log/Wikipedia.icon
局所的に小さい圏 - Wikipedia(日)
局所的に小さい圏(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
locally small category - Wikipedia(英)
locally small category(検索) - Wikipedia(英)