圏Set
圏$ \mathbf{Set} (Category of sets)
対象
$ Ob(\mathbf{Set}) := すべての集合の集まり、集合全体のなすクラス
射
集合$ A,B があるとして、$ f: A \to B であるような射
$ Mor(\mathbf{Set}) := \{f \mid f: X \to Y \}
$ Mor(\mathbf{Set}) := \mathrm{Hom}(X, Y)
恒等射
$ 1_X : 恒等写像$ \mathrm{id}_x = \mathrm{Hom}(X, X)
始対象
空集合
$ \{\}
終対象
$ ()
関連
参考
メモ