QuivQuiv or DiGraphDiGraph is the category of quivers or (as category theorists often call them) directed graph.

We can define a quiver to be a functor G:X opSetG\colon X^{op} \to Set, where X opX^{op} is the category with an object 00, an object 11 and two morphisms s,t:10s, t\colon 1 \to 0, along with identity morphisms. This lets us efficiently define QuivQuiv as the category of presheaves on XX, where:

In other words, QuivQuiv is the functor category from this X opX^{op} to Set.

category: category

Revised on February 13, 2011 19:42:53 by Toby Bartels (