圏Sets
圏$ \mathbf{Sets} (category of Sets)
圏$ \mathbf{Set} は集合の圏だけどsは集合と関数の圏らしい...?
『圏論の基礎』(英語版)P12を見ると$ \mathbf{Ens} が集合と関数の圏っぽい $ \mathbf{Ens} : Category of all sets and functions within a (variable) set V.
ref: Categories for the Working Mathematician, P12
確認用
Q. 圏Sets
関連
調査用
Wikipedia.icon
Wikipedia.icon