Home > Positioning > Persons > Mac Lane

Saunders Mac Lane (1909–2005)

Mac Lane, with Samuel Eilenberg, created category theory — and then spent the next five decades developing it, advocating for it, and writing the textbook (Categories for the Working Mathematician, 1971) that made it accessible to the mathematical community. Where Eilenberg moved on to other projects after the founding papers, Mac Lane remained category theory’s most visible champion and philosopher. His career is inseparable from the discipline he co-founded: he shaped its concepts, defended its utility against skeptics, and articulated its philosophical implications — particularly the structuralist thesis that mathematics studies patterns of relationship, not objects with intrinsic properties.

Life

Born 4 August 1909 in Norwich, Connecticut. His father was a minister. Undergraduate at Yale (BA, 1930), then the University of Chicago (MA, 1931). PhD at the University of Göttingen (1934), under Paul Bernays and Hermann Weyl — the last cohort of American mathematicians to study at Göttingen before the Nazi destruction of German mathematics. The Göttingen training shaped Mac Lane’s mathematical taste: algebraic, structural, with a commitment to clarity and generality.

Taught at Harvard (1934–38), then Cornell (1938–47), then the University of Chicago (1947–), where he spent the rest of his career. The Chicago mathematics department under Marshall Stone and later Mac Lane himself became one of the strongest in the world. Mac Lane served as department chair and shaped the department’s hiring and curriculum.

President of the American Mathematical Society (1973–74). Vice president of the National Academy of Sciences (1973–81). National Medal of Science (1989). Mac Lane was active in scientific policy and in mathematics education. Died 14 April 2005 in San Francisco.

Category theory

The collaboration with Eilenberg began in the early 1940s and produced the founding papers (1942–45). Mac Lane’s account of the origin: they needed to make precise the concept of “naturality” — the distinction between canonical constructions (which arise from the mathematical structure) and constructions that depend on arbitrary choices. Natural transformations were the answer; categories and functors were the machinery needed to state the answer precisely.

Mac Lane’s subsequent contributions developed the framework:

Coherence theorems. When mathematical structures come with operations that satisfy equations only “up to isomorphism” (not on the nose but through specified isomorphisms), the question arises: are the isomorphisms themselves coherent — do they satisfy the equations they should? Mac Lane’s coherence theorems for monoidal categories showed that they do, under appropriate conditions. The coherence machinery became essential for the categorical treatment of tensor products, braided categories, and the higher-categorical structures that now pervade algebraic topology and theoretical physics.

Categories for the Working Mathematician (1971; 2nd ed. 1998). The textbook that taught category theory to a generation. Its intended audience — “the working mathematician” who needs categorical tools without being a specialist in foundations — set the pedagogical standard. The book covers categories, functors, natural transformations, limits and colimits, adjunctions, monads (triples), and abelian categories. Its influence is partly in what it includes and partly in what it frames as central: the adjoint-functor concept, which Mac Lane (following Lawvere and Daniel Kan) regarded as the key unifying idea.

Mathematical structuralism

Mac Lane was an explicit philosophical voice for mathematical structuralism — the position that mathematics studies structures (patterns of relationship) rather than objects (things with intrinsic properties). Mathematics: Form and Function (1986) presents this view: mathematical objects are positions in structures, characterised by their relationships to other positions, not by any intrinsic nature. The category-theoretic practice — objects known entirely by their morphisms, no internal structure visible — is the mathematical embodiment of this philosophy.

The structuralist position connects to broader philosophical debates. In the philosophy of mathematics, it sits alongside the structuralism of Paul Benacerraf (who argued that numbers are not particular objects but positions in a structure) and Stewart Shapiro (who developed structuralism as a philosophy of mathematics). Mac Lane’s version is distinctive in being grounded in categorical practice rather than in philosophical argument: the structuralism is what the mathematics does, not an interpretation imposed on it.

Where Mac Lane stops

Categories for the Working Mathematician defined the discipline’s scope for a generation, but the scope it defined was the scope of the 1970s. The subsequent development of category theory — higher categories, ∞-categories, homotopy type theory, topos theory as a foundation — pushed well beyond the territory the book covers. Grothendieck’s vision of categories as a foundation for algebraic geometry, and Lawvere’s programme of categorical foundations for mathematics as a whole, were more ambitious than Mac Lane’s pragmatic “tools for the working mathematician” framing. Whether Mac Lane’s pragmatism was a limitation (he defined the field more narrowly than it needed to be defined) or a strength (he made the tools accessible without the foundational ambitions that divided the community) depends on the perspective. The higher-categorical developments that now dominate the field owe their existence to the framework Mac Lane and Eilenberg built, but they have outgrown the book that taught it.

The foundational question — can category theory serve as the foundation of mathematics, replacing set theory? — was one Mac Lane engaged with but did not resolve. He was sympathetic to the categorical alternative but cautious about claiming it had succeeded. Lawvere’s categorical foundations and the topos-theoretic programme provide a genuine alternative to set-theoretic foundations for much of mathematics, but the set-theoretic tradition remains dominant in practice, and the foundational debate is not settled. Mac Lane’s own position was pragmatic: category theory is the right language for much of mathematics, and the foundational question, while interesting, is less important than the mathematical work the language enables.

Mac Lane’s structuralism — the claim that mathematics studies patterns of relationship — is widely shared but philosophically contested. The question of what makes mathematical structures real (if they are not collections of objects with intrinsic properties) is the central problem for mathematical structuralism. Mac Lane’s answer — that the practice of mathematics constitutes the structures — is appealing but raises questions about mathematical realism that he did not fully address. Whether structures exist independently of mathematical practice, or whether they are constituted by it, is a question Mac Lane’s philosophical work identifies but does not settle.

Key works

See also: Eilenberg · Whitehead · Frege · Category theory