Book contents
- Frontmatter
- Dedication
- Contents
- Prologue
- Part One Building up to Categories
- Interlude A Tour of Math
- Part Two Doing Category Theory
- 14 Isomorphisms
- 15 Monics and epics
- 16 Universal properties
- 17 Duality
- 18 Products and coproducts
- 19 Pullbacks and pushouts
- 20 Functors
- 21 Categories of categories
- 22 Natural transformations
- 23 Yoneda
- 24 Higher dimensions
- Epilogue Thinking categorically
- Appendices
- Glossary
- Further Reading
- Acknowledgements
- Index
23 - Yoneda
from Part Two - Doing Category Theory
Published online by Cambridge University Press: 13 October 2022
- Frontmatter
- Dedication
- Contents
- Prologue
- Part One Building up to Categories
- Interlude A Tour of Math
- Part Two Doing Category Theory
- 14 Isomorphisms
- 15 Monics and epics
- 16 Universal properties
- 17 Duality
- 18 Products and coproducts
- 19 Pullbacks and pushouts
- 20 Functors
- 21 Categories of categories
- 22 Natural transformations
- 23 Yoneda
- 24 Higher dimensions
- Epilogue Thinking categorically
- Appendices
- Glossary
- Further Reading
- Acknowledgements
- Index
Summary
This chapter brings together all that we’ve done in one of the pinnacles of abstraction in category theory. First, we revisit the sense in which a category sees isomorphic objects as the same, and show that our argument from Chapter 14 is in fact an isomorphism in Set between some particular sets of morphisms. We then show how this arises from some particular types of functor called representable functors. We then go up another level and introduce the Yoneda embedding as a functor from our base category to the category of presheaves on it, and we show that it is full and faithful. We describe the principle behind the Yoneda Lemma, and then state the Yoneda Lemma. Although we have all the technology required for the proof, we stop just short of giving it. We end the chapter with a brief discussion of Mac Lane’s comment that all concepts are Kan extensions.
- Type
- Chapter
- Information
- The Joy of AbstractionAn Exploration of Math, Category Theory, and Life, pp. 351 - 367Publisher: Cambridge University PressPrint publication year: 2022