Category theory
= Category theory
{wiki}
Category theory studies mathematical structures through the <morphisms> between them. A <category> specifies which <objects of a category> and arrows are allowed; a <functor> translates these objects and arrows into another <category>; a <natural transformation> compares two such translations coherently. For example, the <category of groups> records both <groups> and <group homomorphisms>, so it remembers which maps respect multiplication.
The usefulness appears in constructions we already know. A <Cartesian product> combines two <sets>, while a <direct product of groups> combines two <groups>. Both satisfy the same <universal property> of a <categorical product>: any pair of maps into the factors comes from exactly one map into the product. This gives a reusable way to construct maps and establish <isomorphisms>, without depending on a particular choice of coordinates or element labels. In a <partially ordered set> regarded as a <category>, the corresponding <categorical product> is a <greatest lower bound>. The shared definition exposes a connection between pairing data and finding the best common bound.
Start with the computed examples under <category>, <functor>, <natural transformation>, and <product in a category>. Their arrow equations are practical tests: do both routes in a <commutative diagram> produce the same result? Later, the same language organizes <tensor products>, <adjunctions>, and the <fundamental group> of a <topological space>. Emily Riehl's textbook develops these basic notions before using them to compare constructions across different subjects. https://emilyriehl.github.io/files/context.pdf[Riehl, Category Theory in Context, chapters 1–3]{ref}
In their 1945 paper, <Samuel Eilenberg> and <Saunders Mac Lane> set out the notions of <category>, <functor>, and <natural transformation>. The introduction uses the relation between a <vector space> and its <dual space> to ask which comparisons are natural, setting up a precise language for compatibility with maps. https://people.math.osu.edu/cogdell.1/6112-Eilenberg&MacLane-www.pdf[Eilenberg and Mac Lane, General Theory of Natural Equivalences, introduction and sections 1–3]{ref}
\Image[https://upload.wikimedia.org/wikipedia/commons/e/e9/1-image0.jpg]
{title=<Saunders Mac Lane> at left and <Samuel Eilenberg> at right at a 1992 category theory meeting; photograph by SixWingedSeraph, https://creativecommons.org/licenses/by-sa/4.0/[CC BY-SA 4.0]}
{height=450}
{source=https://commons.wikimedia.org/wiki/File:1-image0.jpg}