Skip to main content
Article thumbnail
Location of Repository

Grothendieck institutions

By Răzvan Diaconescu

Abstract

Abstract. We extend indexed categories, fibred categories, and Grothendieck constructions to institutions. We show that the 2-category of institutions admits Grothendieck constructions (in a general 2-categorical sense) and that any split fibred institution is equivalent to a Grothendieck institution of an indexed institution. We use Grothendieck institutions as the underlying mathematical structure for the semantics of multi-paradigm (heterogenous) algebraic specification. We recuperate the so-called ‘extra theory morphisms ’ as ordinary theory morphisms in a Grothendieck institution. We investigate the basic mathematical properties of Grothendieck institutions, such as theory colimits, liberality (free constructions), exactness (model amalgamation), and inclusion systems by ‘globalisation ’ from the ‘local ’ level of the indexed institution to the level of the Grothendieck institution. 1

Topics: Algebraic specification, Institutions, Indexed categories, Grothendieck construction, Fibrations
Year: 2002
OAI identifier: oai:CiteSeerX.psu:10.1.1.134.4825
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.imar.ro/~diacon/PDF... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.