## Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

- Razvan Diaconescu, Kokichi Futatsugi
- AMAST Series in Computing
- 1998

Highly Influential

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)

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