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