Category Theory is the study of Category.
Resources
- Topoi - Goldblatt
- Categories for the Working Mathematician
- Prof. Thorsten Altenkirch’s lecture notes: Categories for the Lazy Functional Programmer
- Category Theory in Context by Emily Riehl
- Basic Category Theory by Tom Leinster
- Higher Topos Theory by Jacob Lurie
- Sheaves in Geometry and Logic by Saunders Mac Lane and Leke Moerdijk
Remarks
There is no idea of equality of objects beyond isomorphism, so definitions such as ‘partial order’ of a category.