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