Equivalence of quivers and general graphs
The notions of general graph and quiver are similar, the only difference being that quivers have separate “identities” for each of their arcs, whereas general graphs keep track only of the number of arcs between given vertices.
One can naturally construct a “forgetful functor” from
#state/develop | #lang/en | #SemBr