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
17 - Duality
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
We can regard all arrows in a category as pointing the other way, and this gives us the dual category. One advantage is that we immediately get a dual version of every construction and every theorem. We begin by exploring some small examples such as categories of factors, and turn all the arrows round to see what the resulting structure looks like. Thus motivated, we make the definition of dual category, and explain that any categorical structure has a dual version which is given by placing that structure in the dual category. We show that in this sense monics and epics are dual, and that isomorphisms are self-dual. We also describe the concept of duals of results, which are found by placing the result in the dual category. We show that the composite of two monics is monic, and that the dual result is that the composite of two epics is epic; we also consider the converse. We show that terminal and initial objects are dual. Finally, we briefly mention how the notion of dual category comes from symmetry in the definition of a category, more easily seen from the definition as an underlying graph with extra structure.
- Type
- Chapter
- Information
- The Joy of AbstractionAn Exploration of Math, Category Theory, and Life, pp. 226 - 236Publisher: Cambridge University PressPrint publication year: 2022