Book contents
- Frontmatter
- Dedication
- Contents
- Prologue
- Part One Building up to Categories
- 1 Categories: the idea
- 2 Abstraction
- 3 Patterns
- 4 Context
- 5 Relationships
- 6 Formalism
- 7 Equivalence relations
- 8 Categories: the definition
- Interlude A Tour of Math
- Part Two Doing Category Theory
- Epilogue Thinking categorically
- Appendices
- Glossary
- Further Reading
- Acknowledgements
- Index
1 - Categories: the idea
from Part One - Building up to Categories
Published online by Cambridge University Press: 13 October 2022
- Frontmatter
- Dedication
- Contents
- Prologue
- Part One Building up to Categories
- 1 Categories: the idea
- 2 Abstraction
- 3 Patterns
- 4 Context
- 5 Relationships
- 6 Formalism
- 7 Equivalence relations
- 8 Categories: the definition
- Interlude A Tour of Math
- Part Two Doing Category Theory
- Epilogue Thinking categorically
- Appendices
- Glossary
- Further Reading
- Acknowledgements
- Index
Summary
An overview of what the point of category theory is, without formality, and an overview of the contents of the book. We will present category theory as “the mathematics of mathematics”, so first we explain what aspects of mathematics we are focusing on. We present mathematics as starting from abstraction, as a way of elucidating analogies between situations, finding connections between them, and unifying them. Category theory is then a rigorous framework for making analogies and finding connections between different parts of mathematics. It focuses on relationships between things, rather than on intrinsic characteristics, and uses those relationships to put objects in context rather than treat them in isolation. Once the framework has been set up, we have, among other things, a way to express more nuanced notions of “sameness”, and a way to characterize things by the role they play in that context. Category theory also works at many different levels, so we can zoom in and out and study details close up, or broad contexts with more of an overview.
- Type
- Chapter
- Information
- The Joy of AbstractionAn Exploration of Math, Category Theory, and Life, pp. 13 - 22Publisher: Cambridge University PressPrint publication year: 2022