Pushout‐Properties: An analysis of gluing constructions for graphs
Hartmut Ehrig, Hans‐Jörg Kreowski · Mathematische Nachrichten · 1979
Abstract The gluing construction for graphs, which is used in algebraic theory of graph grammars and applied in several fields of Computer Science, is a pushout construction in the category of graphs. In addition to the well known universal properties of pushouts also several nonuniversal properties are required in algebraic graph theory. A systematic collection of these nonuniversal properties is presented in this paper.