I think, similarly, that there is an underground graphical rewriting formalism for all of mathematics, category theory included. Category theory is somehow a st

I think, similarly, that there is an underground graphical rewriting formalism for all of mathematics, category theory included. Category theory is somehow a step towards it, but we don't keep categories in our heads, only the graph reducer.