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