Categories for the Working Mathematician

From HandWiki
Short description: Book by Saunders Mac Lane
Categories for the Working Mathematician
AuthorSaunders Mac Lane
CountryUnited States
LanguageEnglish
SeriesGraduate Texts in Mathematics; Vol. 5
SubjectCategory theory
PublisherSpringer
Publication date
1971
Media typePrint
Pages262
ISBN0-387-90036-5
OCLC488352436
512.55
LC ClassLCC QA169.M33

Categories for the Working Mathematician is a textbook in category theory written by American mathematician Saunders Mac Lane, who founded the subject together with Samuel Eilenberg. It was first published in 1971, and is based on his lectures given at the University of Chicago, the Australian National University, Bowdoin College, and Tulane University. It is widely regarded[1][2] as the premier introduction to the subject.

Contents

The book has twelve chapters, which are:

Chapter I. Categories, Functors, and Natural Transformations.
Chapter II. Constructions on Categories.
Chapter III. Universals and Limits.
Chapter IV. Adjoints.
Chapter V. Limits.
Chapter VI. Monads and Algebras.
Chapter VII. Monoids.
Chapter VIII. Abelian Categories.
Chapter IX. Special Limits.
Chapter X. Kan Extensions.
Chapter XI. Symmetry and Braiding in Monoidal Categories
Chapter XII. Structures in Categories.

Chapters XI and XII were added in the 1998 second edition, the first in view of its importance in string theory and quantum field theory, and the second to address higher-dimensional categories that have come into prominence.[3]

Although it is the classic reference for category theory, some of the terminology is not standard. In particular, Mac Lane attempted to settle an ambiguity in usage for the terms epimorphism and monomorphism by introducing the terms epic and monic, but the distinction is not in common use.[4]

References

  • Leinster, Tom (2014). Basic Category Theory. Cambridge Studies in Advanced Mathematics. 143. Cambridge University Press. ISBN 978-1-139-99285-5. 

Notes

  1. ↑ Leinster (2014), p. 174, "The towering presence among category theory books is the classic one by one of its founders: Saunders Mac Lane's Categories for the Working Mathematician".
  2. ↑ Awodey (2010), p. iv, "Why write a new textbook on Category Theory, when we already have Mac Lane’s Categories for the Working Mathematician? Simply put, because Mac Lane’s book is for the working (and aspiring) mathematician. What is needed now, after 30 years of spreading into various other disciplines and places in the curriculum, is a book for everyone else." Awodey also dedicated the book to Saunders Mac Lane.
  3. ↑ Mac Lane (1998), preface.
  4. ↑ Bergman (2015), p. 258.