Grothendieck Institutions

Part of the Studies in Universal Logic book series (SUL)


Grothendieck institutions generalize the flattening Grothendieck construction from (indexed) categories, (see Sect. 2.5), to (indexed) institutions. Regarded from a fibration theoretic angle, Grothendieck institutions are just institutions for which their category of signatures is fibred. For example, the actual institutions with many-sorted signatures appear naturally as fibred institutions determined by the fibrations given by the functor mapping each signature to its set of sort symbols. In this sense, fibred institutions can be regarded as the reflection of many-sortedness at the level of abstract institutions.


Natural Transformation Satisfaction Condition Interpolation Property Inclusion System Model Amalgamation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Personalised recommendations