Sciweavers

BIRTHDAY
2006
Springer

Institutional 2-cells and Grothendieck Institutions

14 years 2 months ago
Institutional 2-cells and Grothendieck Institutions
Abstract. We propose to use Grothendieck institutions based on 2categorical 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.
Till Mossakowski
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where BIRTHDAY
Authors Till Mossakowski
Comments (0)