Semantic Interoperability via Category Theory
Categories for the working mathematician: making the impossible possible