Single Pushout Rewriting in Comprehensive Systems

DOI10.1007/978-3-030-51372-6_6zbMath1502.68153OpenAlexW3037914476MaRDI QIDQ5100728

Patrick Stünkel, Harald König

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_6

zbMATH Keywords

category theorypartial morphismcomprehensive systemhereditary pushoutupper adjointsingle-pushout rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items (2)

Single pushout rewriting in comprehensive systems of graph-like structures ⋮ Comprehensive systems: a formal foundation for multi-model consistency management

Cites Work

• Unnamed Item
• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• Topoi. The categorial analysis of logic. Rev. ed
• On graph rewritings
• Categories of partial maps
• Algebraic transformation of unary partial algebras II: Single-pushout approach
• Comprehensive systems: a formal foundation for multi-model consistency management
• Adhesive subcategories of functor categories with instantiation to partial triple graphs
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput
• Fundamentals of algebraic graph transformation
• On Pushouts of Partial Maps
• Hereditary Pushouts Reconsidered
• Specification of graph translators with triple graph grammars

This page was built for publication: Single Pushout Rewriting in Comprehensive Systems