zbMATH — the first resource for mathematics

A single perspective on arrows between institutions. (English) Zbl 1089.03510
Haeberer, Armando MartĂ­n, Algebraic methodology and software technology. 7th international conference, AMAST ’98, Amazonia, Brazil, January 4–8, 1999. Proceedings. Berlin: Springer (ISBN 3-540-65462-3). Lect. Notes Comput. Sci. 1548, 486-501 (1999).
Summary: The purpose of this paper is to bring the most important and influential concepts of arrows between institutions, i.e., institution morphisms, plain maps of institutions, simulations, and (simple) maps of institutions, into a common perspective. Based on three simple constructions for institutions – reindexing, change of syntax, change of semantics – we show, firstly, that each of these arrows can be equivalently characterized by the existence of a correspond intermediate institution that is related to both involved institutions syntactically or semantically, respectively. Secondly, we show that taking into account reindexing and restriction of semantics, we can describe any of these arrows as an institution morphism (or dually as a plain map) between institutions of the same scheme. We also discuss the possible role of the intermediate institutions in applications.
For the entire collection see [Zbl 0906.00024].

03G30 Categorical logic, topoi
03B70 Logic in computer science
68Q65 Abstract data types; algebraic specification