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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Mossakowski, T. (2006). Institutional 2-cells and Grothendieck institutions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4060 LNCS, pp. 124–149). Springer Verlag. https://doi.org/10.1007/11780274_7
Mendeley helps you to discover research relevant for your work.