SET (category)

From Maths
Revision as of 09:40, 19 February 2016 by Alec (Talk | contribs) (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...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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)

Many more, rings, commutative rings, so forth.


TODO: (More) exhaustive list


References

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