A quiver is just a directed graph presented via a type of objects, a type of edges, and two projection functions that pick out source and target of an edge.