The problem is that this is an ad hoc solution. What I'm talking about would be some formalization of visualization (I guess kinda like grammar of graphics without the statistical aspect) so you can visualize just about anything.
I feel like visualizations rely too much on the existence of a meaningful isomorphism. That is, once a problem is visualized effectively it becomes trivial and though applicable to future similar problems the isomorphism itself is too domain specific to be generalized. It feels like trying to find an analogy that will help you find all future analogies.
Isn't that what category theory is about, on the meta level, and in the result in case of specific isomorphisms, too?
edit: at that I still have John C. Baez, Mike Stay - "Physics, Topology, Logic and Computation: A Rosetta Stone" on my reading list https://arxiv.org/abs/0903.0340