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.

• Type: Conference
• Year: 2006
• Where: BIRTHDAY
• Authors: Till Mossakowski
• Keywords: Applied Computing, BIRTHDAY 2006, Grothendieck Institutions, Heterogeneous Specification, Theories Involving Institution