SET (category)
From Maths
Definition
The category [ilmath]\mathrm{SET} [/ilmath] is the category that contains every set for its objects and every function (in the conventional sense, as mappings from 1 set to another) between those sets as the arrows of the category^{[1]}.
 Note: sometimes the [ilmath]\mathrm{SET} [/ilmath] category is AKA [ilmath]\mathrm{SETS} [/ilmath] (and the page
SETS (category)
redirects here)
Subcategories
(Loads)
 [ilmath]\mathrm{GROUP} [/ilmath]  the category of all groups and group homomorphisms
 [ilmath]\mathrm{AGROUP} [/ilmath]  a subcategory of [ilmath]\mathrm{GROUP} [/ilmath] consisting of all Abelian groups and their homomorphisms which are just the group homomorphisms between Abelian groups)
 [ilmath]\mathrm{TOP} [/ilmath]  the category of all topological spaces, the arrows are continuous maps
Many more, rings, commutative rings, so forth.
TODO: (More) exhaustive list
References
