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