I think "higher dimensional algebra" is some kind of attempt at doing this. String diagrams (for tensor networks) is one example. John Baez has written about this stuff.