Institutional 2-cells and Grothendieck institutions
T. Mossakowski. Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060 of Lecture Notes in Computer Science, page 124-149. Springer; Berlin; http://www.springer.de, (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.
%0 Conference Paper
%1 Mossakowski06
%A Mossakowski, Till
%B Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
%D 2006
%E Futatsugi, K.
%E Jouannaud, J.-P.
%E Meseguer, J.
%I Springer; Berlin; http://www.springer.de
%K Grothendieck category heterogeneity institution morphism
%P 124-149
%T Institutional 2-cells and Grothendieck institutions
%U http://dx.doi.org/10.1007/11780274_7
%V 4060
%X 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.
@inproceedings{Mossakowski06,
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.},
added-at = {2016-08-05T15:59:03.000+0200},
author = {Mossakowski, Till},
biburl = {https://www.bibsonomy.org/bibtex/2b597e1e58df29845d221a2acc529e70d/tillmo},
booktitle = {Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday},
editor = {Futatsugi, K. and Jouannaud, J.-P. and Meseguer, J.},
interhash = {4cd5d55609907b92d3a46ced69658b53},
intrahash = {b597e1e58df29845d221a2acc529e70d},
keywords = {Grothendieck category heterogeneity institution morphism},
pages = {124-149},
pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/Institutional2cells.pdf},
psurl = {http://www.informatik.uni-bremen.de/~till/papers/Institutional2cells.ps},
publisher = {Springer; Berlin; http://www.springer.de},
series = {Lecture Notes in Computer Science},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {Institutional 2-cells and Grothendieck institutions},
url = {http://dx.doi.org/10.1007/11780274_7},
volume = 4060,
year = 2006
}