Repository | Book | Chapter
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
We propose to use Grothendieck institutions based on 2-categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (some weak variants of) exactness. This framework can also be used for obtaining proof systems for heterogeneous theories involving institution semi-morphisms.
Publication details
DOI: 10.1007/11780274_7
Full citation:
Mossakowski, T. (2006)., Institutional 2-cells and grothendieck institutions, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 124-149.