User:Iamfscked/Books/graph rewriting notes

Graph rewriting
Category theory
Graph homomorphism
Injective function
Pattern matching
Rewriting
Morphism
Pushout (category theory)
Limit (category theory)
Multigraph