集合の圈
集合の圏 - Wikipedia
Set in nLab
集合
を對象とし寫像を射とする
圈
。
$ \bf Set
と書く
始對象
は
空集合
$ \varnothing
終對象
は
單集合 (singleton)
epi 射
は
全射
mono 射
は
單射
同型
射は
全單射