Institutional 2-cells and Grothendieck institutions

Till Mossakowski

In: K. Futatsugi , J.-P. Jouannaud , J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Seiten 124-149 Lecture Notes in Computer Science (LNCS) 4060 ISBN 354035462X Springer Berlin 2006.


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.

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence