caa a22 4500 445378921 CHVBK 20180317143011.0 cr unu---uuuuu 170323e20111001xx s 000 0 eng 10.1007/s10485-009-9211-6 doi (NATIONALLICENCE)springer-10.1007/s10485-009-9211-6 Diaconescu Răzvan Institute of Mathematics "Simion Stoilow”, Romanian Academy, 21, Calea Grivitei St., 010702, Bucharest, Sector 1, Romania aut Grothendieck Inclusion Systems [Elektronische Daten] [Răzvan Diaconescu] 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 their Grothendieck flattenings to inclusion systems. An important practical significance of the resulting Grothendieck inclusion systems is that they allow the development of module algebras for multi-logic heterogeneous specification frameworks. At another level, we show that several inclusion systems in use in some syntactic (signatures, deductive theories) or semantic contexts (models) appear as Grothendieck inclusion systems too. We also study several general properties of Grothendieck inclusion systems. Springer Science+Business Media B.V., 2009 Grothendieck categories nationallicence Inclusion systems nationallicence Grothendieck institutions nationallicence Applied Categorical Structures Springer Netherlands 19/5(2011-10-01), 783-802 0927-2852 19:5<783 2011 19 10485 https://doi.org/10.1007/s10485-009-9211-6 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10485-009-9211-6 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Diaconescu Răzvan Institute of Mathematics "Simion Stoilow”, Romanian Academy, 21, Calea Grivitei St., 010702, Bucharest, Sector 1, Romania aut NATIONALLICENCE 773 0- Applied Categorical Structures Springer Netherlands 19/5(2011-10-01), 783-802 0927-2852 19:5<783 2011 19 10485 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer