Solutions to "Basic Category Theory" by Tom Leinster

Solutions to Basic Category Theory (Tom Leinster) by positrón0802. The file comes from https://positron0802.wordpress.com/basic-category-theory-leinster/ Introduction Categories, functors and natural transformations Categories Functors Natural Transformations Adjoints Definition and examples Adjunctions via units and counits Adjunctions via initial objects Interlude on sets Constructions with sets Small and large categories Historical remarks Representables Definitions and examples The Yoneda lemma Consequences of the Yoneda lemma Limits Limits: definition and examples Colimits: definition and example Interactions between functors and limits Adjoints, representables and limits Limits in terms of representables and adjoints Limits and colimits of presheaves Interactions between adjoint functors and limits Appendix: Proof of the general adjoint functor theorem