On Pushouts of Partial Maps

DOI10.1007/978-3-319-09108-2_12zbMath1425.68163OpenAlexW100861105MaRDI QIDQ3192235

Jonathan Hayman, Tobias Heindel

Publication date: 26 September 2014

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

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/19464686/Hayman_Heindel_ET_AL_2014_On_Pushouts_of_Partial_Maps.pdf

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items (6)

Towards Multiple Model Synchronization with Comprehensive Systems ⋮ Polymorphic Sesqui-Pushout Graph Rewriting ⋮ Single Pushout Rewriting in Comprehensive Systems ⋮ Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ Partial pushout semantics of generics in DOL ⋮ Single pushout rewriting in comprehensive systems of graph-like structures

This page was built for publication: On Pushouts of Partial Maps