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