meta-reflexivity and levels of abstraction
Why Category Theory is Uniquely Meta-Reflective
Category theory allows you to walk up and down abstraction levels using the same constructions.
It’s self-similar:
Categories have morphisms
Categories themselves are objects in Cat
Functors are morphisms in Cat
Natural transformations are morphisms between functors
This continues into 2-Cat, n-Cat, ∞-categories
You can model structure about structure without leaving the language of categories.
How other fields compare
Set theory
Foundational, but not self-reflective
Can’t form the set of all sets → paradoxes
Algebra
Powerful, but “algebras of algebras” are not coherent as a general notion
Analysis
Doesn’t scale to describing itself
Logic / Type theory
Some self-reflection (e.g., universe levels), but often needs a meta-system
Related to category theory via Curry–Howard–Lambek
Conclusion
Category theory is rare in that it uses its own tools to describe itself
This makes it uniquely powerful as a mathematics of mathematics