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