Graph homomorphisms #
Introduction #
In this section, we introduce the idea of a graph homomorphism between two directed graphs. Intuitively, a graph isomorphism is a recipe for how to rename vertices and edges of one graph so that we obtain another graph.
