Graph theory MOC

Category of quivers

The category of quivers is a category where an object is a quiver and a morphism is a quiver homomorphism. cat It is therefore identical to the Functor category , where is the walking quiver.

Important functors

• There is a natural way to associate every quiver to an “underlying” general graph, see Equivalence of quivers and general graphs.
• This factorizes the forgetful functor into the underlying vertex set.
• See Underlying quiver and Free category

---

develop | en | sembr