Weak inclusion systems

DOI10.1017/S0960129596002253MaRDI QIDQ4340498zbMATH OpenOpenAlexFDO

Authors 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) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Recommendations

• scientific article; zbMATH DE number 1543350
• Essential weak factorization systems
• Natural weak factorization systems.
• Weak reflections and weak factorization systems

Cited in

(13)

• Logical foundations of CafeOBJ
• Parameterisation for abstract structured specifications
• Foundations for structuring behavioural specifications
• An axiomatic approach to structuring specifications
• scientific article; zbMATH DE number 1543350 (Why is no real title available?)
• A logical framework combining model and proof theory
• On the algebra of structured specifications
• Inclusions for partiality
• Equational axiomatizability for coalgebra
• Preservation in many-valued truth institutions
• Partialising institutions
• Grothendieck inclusion systems
• Partial pushout semantics of generics in DOL

This page was built for publication: Weak inclusion systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4340498)