Category Theory MOC
Category theory, affectionately called “General Abstract Nonsense” by many mathematicians.
A lot of terminology in category theory is motivated by the Category-vector space analogy.
Objects
The central object of category theory is, of course, the Category. We can reason about objects and morphisms in a category using a Commutative diagram.
Classification
See types of category.
Additional structure
- Category + Tensor product = Monoidal category
- Category + Internal hom = Closed category
- Displayed category
Internal constructions
External constructions
Categorification
- Categorification (Vertical)
- Oidification (Horizontal)
Categorical foundations
Issues
Bibliography
- @awodeyCategoryTheory2010
- @milewskiCategoryTheoryProgrammers2019
- @maclaneCategoriesWorkingMathematician1978