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
Graph (mathematics)
Set (mathematics)
Functor
Commutative diagram
Monomorphism
Isomorphism
Category (mathematics)
Dual (category theory)