Category of sets

The category of sets $𝖲 𝖾 𝗍$ is a category where an object is a (small) set and a morphism is a function. #m/def/set

See also

An elementary axiomatization is given by ETCS, a possible structuralist foundation for mathematics.

#state/develop | #lang/en | #SemBr