圏Set
圏
$ \mathbf{Set}
(Category of sets)
集合の
圏
大きな圏
対象
集合
射
集合間の
写像
同型射
は
全単射
対象
$ Ob(\mathbf{Set})
: すべての集合の集まり
射
$ Mor(\mathbf{Set})
: {f | fはある集合
$ X
からある集合
$ Y
への写像 }
自分は具体例がないと実際どういうものかイメージ
参考
『計算機科学のための 圏論の基礎の基礎』
圏論とは何か
P3
https://blog.foresta.me/posts/learn-category-theory-03/
メモ
/mrsekut-p/集合の圏Set
/category/圏Setの同型射は集合の全単射
Set in nLab