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,

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 https://arxiv.org/abs/0903.0340