Jump to content

User:Iamfscked/Books/graph-rewriting-notes

From Wikipedia, the free encyclopedia
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)