(Co)end Calculus
About this book
The language of ends and (co)ends provides a natural and general way of expressing many phenomena in category theory, in the abstract and in applications. Yet although category-theoretic methods are now widely used by mathematicians, since (co)ends lie just beyond a first course in category theory, they are typically only used by category theorists, for whom they are something of a secret weapon. This book is the first systematic treatment of the theory of (co)ends. Aimed at a wide audience, it presents the (co)end calculus as a powerful tool to clarify and simplify definitions and results in category theory and export them for use in diverse areas of mathematics and computer science. It is organised as an easy-to-cite reference manual, and will be of interest to category theorists and users of category theory alike.
Frequently asked questions
- Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
- Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Information
Table of contents
- Cover
- Series information
- Title page
- Copyright information
- Dedication
- Contents
- Preface
- 1 Dinaturality and (Co)ends
- 2 Yoneda and Kan
- 3 Nerves and Realisations
- 4 Weighted (Co)limits
- 5 Profunctors
- 6 Operads
- 7 Higher Dimensional (Co)ends
- Appendix A Review of Category Theory
- Appendix B Table of Notable Integrals
- References
- Index