DPO Transformation with Open Maps

DOI10.1007/978-3-642-33654-6_14MaRDI QIDQ2918982zbMATH OpenOpenAlexFDO

Authors R. Heckel

Publication date 2 October 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33654-6_14

zbMATH Keywords

adhesive categoriesopen mapsdouble pushoutnegative application conditions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Recommendations

• Open differentiable mappings
• Relatively Open Mappings
• scientific article; zbMATH DE number 4032522
• Open group transformations
• A new classes of open mappings
• Composition and Decomposition of DPO Transformations with Borrowed Context
• On soft open and closed mapping
• Open maps between shift spaces
• scientific article; zbMATH DE number 4107685
• Darboux transformations

Cited in

(1)

• Moment semantics for reversible rule-based systems

This page was built for publication: DPO Transformation with Open Maps

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