%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 }