Formalizing Ontology Alignment and its Operations with Category Theory
A. Zimmermann, M. Krötzsch, J. Euzenat, and P. Hitzler. Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006), volume 150 of Frontiers in Artificial Intelligence and Applications, page 277--288. IOS Press, (November 2006)