SET (category)

From Maths
Jump to: navigation, search

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)

Many more, rings, commutative rings, so forth.


TODO: (More) exhaustive list


References

  1. An Introduction to Category Theory - Harold Simmons - 1st September 2010 edition