圏Set
圏
$ \mathbf{Set}
(Category of sets)
集合の
圏
大きい圏
対象
集合
$ Ob(\mathbf{Set}) :=
すべての集合の集まり
射
集合間の
写像
集合
$ A,B
があるとして、
$ f: A \to B
であるような射
$ Mor(\mathbf{Set}) := \{f | f: X \to Y \}
$ Mor(\mathbf{Set}) := \mathrm{Hom}(X, Y)
同型射
全単射
恒等射
始対象
空集合
$ \{\}
終対象
単集合(unit set)
$ ()
参考
『計算機科学のための 圏論の基礎の基礎』
圏論とは何か
P3
https://blog.foresta.me/posts/learn-category-theory-03/
集合の圏 - Wikipedia
Essential Building Blocks: Categories and Functors - Google スライド
メモ
/mrsekut-p/集合の圏Set
/category/圏Setの同型射は集合の全単射
Set in nLab
#圏の種類