Adhesive categories; Algebraic rewriting; Graph rewriting; Hypergraphs; Rewriting systems; Term graphs
Adhesive categories, and variants such as M,N-adhesive ones, marked a watershed moment for the algebraic approaches to the rewriting of graph-like structures, since they provide an abstract framework where many general results (on e.g. parallelism) …