We investigate functorial relationships between the categories of theories in different institutions, namely adjunctions, as a means of translating between the different specification spaces that they provide. We show that there is a canonical way in which adjunctions between the categories of signatures can be lifted to the categories of theories. This lifting is associated with a duality between the concepts of institution map and institution morphism. Finally, we make an attempt at generalising these results to institution semi-morphisms that can be presented by an inference system.
CITATION STYLE
Arrais, M., & Fiadeiro, J. L. (1996). Unifying theories in different institutions(*). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1130, pp. 81–101). Springer Verlag. https://doi.org/10.1007/3-540-61629-2_38
Mendeley helps you to discover research relevant for your work.