Difference between revisions of "SET (category)"
From Maths
(Created page with "==Definition== The category {{M|\mathrm{SETS} }} is the category that contains every set for its objects and every function (in the conve...") |
m |
||
| Line 12: | Line 12: | ||
{{Definition|Category Theory}} | {{Definition|Category Theory}} | ||
[[Category:Examples of categories]] | [[Category:Examples of categories]] | ||
| + | {{Example|Category Theory}} | ||
Revision as of 09:42, 19 February 2016
Definition
The category [ilmath]\mathrm{SETS} [/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].
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
