Grothendieck Inclusion Systems


the date of receipt and acceptance should be inserted later Abstract Inclusion systems have been introduced in algebraic specification theory as a categorical structure supporting the development of a general abstract logic-independent approach to the algebra of specification (or programming) modules. Here we extend the concept of indexed categories and… (More)
DOI: 10.1007/s10485-009-9211-6


Cite this paper

@article{Diaconescu2011GrothendieckIS, title={Grothendieck Inclusion Systems}, author={Razvan Diaconescu}, journal={Applied Categorical Structures}, year={2011}, volume={19}, pages={783-802} }