"category theory as a tool for understanding category theory"