or is the category of quivers or (as category theorists often call them) directed graph.
We can define a quiver to be a functor , where is the category with an object , an object and two morphisms , along with identity morphisms. This lets us efficiently define as the category of presheaves on , where:
In other words, is the functor category from this to Set.
Revised on February 13, 2011 19:42:53
by Toby Bartels