| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Till Mossakowski |
| Herausgeber: |
K. Futatsugi, J.-P. Jouannaud, J. Meseguer |
| Titel: |
Institutional 2-cells and Grothendieck institutions |
| Buch / Sammlungs-Titel: |
Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday |
| Band: |
4060 |
| Seite(n): |
124 – 149 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2006 |
| Verleger: |
Springer, Berlin |
| Abstract / Kurzbeschreibung: |
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. |
| Internet: |
http://dx.doi.org/10.1007/11780274_7 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/Institutional2cells.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/Institutional2cells.ps |
| Schlagworte: |
institution heterogeneity category morphism Grothendieck |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
04. 08. 2006 |
