Basic Category Theory

by Tom Leinster

Overview

At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in courses or for independent study. Assuming relatively little mathematical background, it is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time. For each new categorical concept, a generous supply of examples is provided, taken from different parts of mathematics. At points where the leap in abstraction is particularly great (such as the Yoneda lemma), the reader will find careful and extensive explanations. Copious exercises are included.

Product Details

ISBN-13:	9781107044241
Publisher:	Cambridge University Press
Publication date:	07/24/2014
Series:	Cambridge Studies in Advanced Mathematics , #143
Pages:	190
Product dimensions:	6.14(w) x 9.25(h) x 0.59(d)

About the Author

Tom Leinster has held postdoctoral positions at Cambridge and the Institut des Hautes Études Scientifiques (France), and held an EPSRC Advanced Research Fellowship at the University of Glasgow. He is currently a Chancellor's Fellow at the University of Edinburgh. He is also the author of Higher Operads, Higher Categories (Cambridge University Press, 2004), and one of the hosts of the research blog, The n-Category Café.

Table of Contents

Note to the reader; Introduction; 1. Categories, functors and natural transformations; 2. Adjoints; 3. Interlude on sets; 4. Representables; 5. Limits; 6. Adjoints, representables and limits; Appendix: proof of the General Adjoint Functor Theorem; Glossary of notation; Further reading; Index.