- Graph rewriting
- Category theory
- Graph homomorphism
- Injective function
- Pattern matching
- Rewriting
- Morphism
- Pushout (category theory)
- Limit (category theory)
- Multigraph
- Graph (mathematics)
- Set (mathematics)
- Functor
- Commutative diagram
- Monomorphism
- Isomorphism
- Category (mathematics)
- Dual (category theory)