Institutional 2-cells and grothendieck institutions
pp. 124-149
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 374
Abstrakt
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.
Publication details
Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 24
Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 25
Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 30
Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 31
Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 36
Published in:
Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer José (2006) Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Dordrecht, Springer.
Seiten: 124-149
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/11780274_7
Referenz:
Mossakowski Till (2006) „Institutional 2-cells and grothendieck institutions“, In: K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, 124–149.