Categories

• Published in: A Guide to Groups, Rings, and Fields pp. 9 - 16
• Main Author: Fernando Q. Gouvêa
• Format: Book Chapter
• Language: English
• Published: Washington The Mathematical Association of America 2012; Mathematical Association of America; American Mathematical Society
• Edition: 1
• Subjects: Abstract algebra; Abstract spaces; Algebra; Applied mathematics; Applied statistics; Category theory; Dimensional analysis; Dimensionality; Formal logic; Functors; Homomorphisms; Logic; Logical topics; Mathematical expressions; Mathematical functions; Mathematical logic; Mathematical objects; Mathematical rings; Mathematical set theory; Mathematical sets; Mathematics; Morphisms; Philosophy; Pure mathematics; Statistical physics; Statistics; Topological spaces; commutative diagram; dual categories; arrows; functor; universal property; initial object; isomorphism; opposite category; anti-equivalent categories; limit; colimit; equivalent categories; universal object; partial order; poset; natural isomorphism; too-to-two; product; coproduct; monoid; natural transformation; final object; functorial; cone on a diagram; category; subcategory
• ISBN: 9780883853559; 0883853558
• DOI: 10.5948/UPO9781614442110.004

From the standpoint of category theory, all of mathematics is about objects and arrows: groups and homomorphisms, topological spaces and continuous functions, differentiable manifolds and smooth maps, etc. This gives a useful way of thinking about various mathematical theories, but more importantly it highlights connections between different theories, such as going from a topological space to its first homology group. Since categories are about objects and arrows, one expects functors to map objects to objects and arrows to arrows. It is the latter which turns out to be the fundamental insight: "functorial" constructions are important. For our purposes, category theory is simply a convenient language in which to express relationships between algebraic structures, so we will not explore it in any sort of detail. This does not mean, however, that the theory is only a language. There are indeed theorems, some of them quite important, but here we will content ourselves with a minimal sketch. Given the importance of categorical language in algebra, this material is treated in most advanced algebra textbooks; we looked particularly at [43] and [6]. For more detail and the real meat of the subject, the classical reference is [60]. A more recent reference requiring less mathematical background is [4]. CATEGORIES Category theory can be seen as foundational or based on axiomatic set theory. In the latter case, we need to be careful because in many cases the objects in a category do not form a set, but rather a "proper class." We will not emphasize the issue.