The term directed graph is used in both graph theory and category theory and the precise definition varies depending on the particular reference under consideration even within the same field.
In graph theory, directed graph or digraph usually means a simple directed graph. In category theory, directed graph or digraph usually means a quiver, which may have multiple edges and loops.
Revised on October 31, 2012 19:12:45
by Urs Schreiber