Weak inclusion systems

DOI10.1017/S0960129596002253zbMath0886.18001OpenAlexW2063639823MaRDI QIDQ4340498

Virgil Emil Căzănescu, Grigore Roşu

Publication date: 9 July 1997

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129596002253

zbMATH Keywords

factorization systeminstitutional theoryweak inclusion system

Mathematics Subject Classification ID

Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items (12)

Parameterisation for abstract structured specifications ⋮ Foundations for structuring behavioural specifications ⋮ Preservation in many-valued truth institutions ⋮ Partialising institutions ⋮ An axiomatic approach to structuring specifications ⋮ Grothendieck inclusion systems ⋮ A logical framework combining model and proof theory ⋮ Inclusions for partiality ⋮ On the algebra of structured specifications ⋮ Equational axiomatizability for coalgebra ⋮ Partial pushout semantics of generics in DOL ⋮ Logical foundations of CafeOBJ

This page was built for publication: Weak inclusion systems