Pushout-Properties: An analysis of gluing constructions for graphs

DOI10.1002/MANA.19790910111MaRDI QIDQ3868784zbMATH OpenOpenAlexFDO

Authors Hartmut Ehrig, Hans-Jörg Kreowski

Publication date 1979

Published in Mathematische Nachrichten (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/mana.19790910111

zbMATH Keywords

category of graphsalgebraic theory of graph grammarsboundary morphismsgluing construction for graphsnonuniversal propertiespushout constructionpushout decomposition

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Cites work

• scientific article; zbMATH DE number 3556036 (Why is no real title available?)
• Pullbacks in Regular Categories

Cited in

(19)

• Algebraic approach to single-pushout graph transformation
• Triangular Logic of Partial Toposes
• Lax pullback complements and pullbacks of spans
• Pushout-complements and basic concepts of grammars in toposes
• Amalgamation of graph transformations: a synchronization mechanism
• The contractum in algebraic graph rewriting
• On categorical graph grammars integrating structural transformations and operations on labels
• Graph expressions and graph rewritings
• Formalising the double-pushout approach to graph transformation
• Pullbacks of graph C*-algebras from admissible pushouts of graphs
• Exponentiable morphisms, partial products and pullback complements
• Parallelism and concurrency in high-level replacement systems
• Another look at parameterization for oder-sorted algebraic specifications
• Characterizations of some (weak) Grothendieck topologies
• Canonical derivations for high-level replacement systems
• Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem
• High-Level Programs and Program Conditions
• Locating the contractum in the double pushout approach
• Relational graph rewritings

This page was built for publication: Pushout-Properties: An analysis of gluing constructions for graphs

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