Grothendieck Institutions

  • R Azvan Diaconescu
  • Published 2002

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… (More)

Topics

Cite this paper

@inproceedings{Diaconescu2002GrothendieckI, title={Grothendieck Institutions}, author={R Azvan Diaconescu}, year={2002} }