TY - BOOK AU - Leinster,Tom TI - Basic category theory T2 - Cambridge studies in advanced mathematics SN - 9781107044241 U1 - 512.62 23 PY - 2014/// CY - Cambridge PB - Cambridge University Press KW - Categories (Mathematics) N1 - Includes indexes; 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-- Further reading-- Index of notation-- Index N2 - 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 ER -