離散圏
離散圏(discrete category)
離散的な圏
射が恒等射のみ存在する圏
圏
$ C
があって、
$ Mor(C) = \mathrm{id}_C
であるもの？？？？
全くわからない
$ \mathbf{1}
恒等射の記法:
$ \mathrm{id}_*
と書く場合もある
確認用
Q. 離散圏
参考
『圏と加群』
P110
調査用
Google.icon
離散圏(日)
Google.icon
Discrete category(英)
Wikipedia.icon
離散圏 - Wikipedia(日)
離散圏(検索) - Wikipedia(日)
Wikipedia.icon
Discrete category - Wikipedia(英)
Discrete category(検索) - Wikipedia(英)