6.10.3. Paths on graphs

The set of all paths on a graph is a category, with the vericies being considered as identity paths, and composition being path composition. The category is said to be generated by the graph.