Proceedings-Artikel
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. June 28, San Diego, California, United States, Pages 124-149, Lecture Notes in Computer Science (LNCS), Vol. 4060, ISBN 354035462X, Springer; http://www.springer.de, Berlin, 2006.
Abstract
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
http://dx.doi.org/10.1007/11780274_7
http://www.informatik.uni-bremen.de/~till/papers/Institutional2cells.pdf
http://www.informatik.uni-bremen.de/~till/papers/Institutional2cells.ps