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

algebraic theory of graph grammarsboundary morphismscategory of graphsgluing construction for graphsnonuniversal propertiespushout constructionpushout decomposition

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(20)

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

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)