 Double pushout graph rewriting

Double pushout (DPO) graph rewriting is a formalism used in the area of algebraic graph rewriting. It provides a conceptual and mathematical framework for modifying graphs by specifying how certain subgraphs can be replaced with new structures. DPO rewriting closely relates to category theory, specifically the notion of pushout constructions in category theory, which allows for defining the conditions under which certain graph transformations can be made.