Category theory is rare in that it uses its own tools to describe itself