Category-theoretic Definition
The above definition is based in set theory; the category-theoretic definition generalizes this into a functor from the free quiver to the category of sets.
The free quiver (also called the walking quiver, Kronecker quiver, 2-Kronecker quiver or Kronecker category) Q is a category with two objects, and four morphisms: The objects are V and E. The four morphisms are s:E→V, t:E→V, and the identity morphisms idV:V→V and idE:E→E. That is, the free quiver is
A quiver is then a functor Γ:Q→Set.
More generally, a quiver in a category C is a functor Γ:Q→C. The category of quivers in C, Quiv(C), is the functor category where:
- objects are functors Γ:Q→C,
- morphisms are natural transformations between functors.
Note that Quiv is the category of presheaves on the opposite category QOp.
Read more about this topic: Quiver (mathematics)
Famous quotes containing the word definition:
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)