If you can excuse the flippancy, one might define category theory as algebra that benefits from two-dimensional equations.

To be more serious, sketches in category theory, or the various classes of visual inference in logic, such as [Peirce's existential graphs][1], show that visually represented reasoning can be quite as rigorous as textually represented reasoning.


  [1]: http://en.wikipedia.org/wiki/Existential_graph