quiver

En matemáticas, especialmente en la teoría de representaciones, un quiver es otro nombre para un multidigrafo; es decir, un grafo dirigido donde se permiten bucles y múltiples arcos entre dos vértices. Los quivers se usan comúnmente en la teoría de representaciones: una representación  de un quiver asigna un espacio vectorial  a cada vértice  del quiver y un mapa lineal  a cada flecha . En la teoría de categorías, un quiver puede entenderse como la estructura subyacente de una categoría, pero sin composición ni designación de morfismos identidad. Es decir, existe un funtor de olvido de (la categoría de las categorías) a (la categoría de los multidígrafos). Su adjunto izquierdo es un funtor libre que, a partir de un quiver, construye la categoría libre correspondiente. Definición Un quiver consta de: El conjunto de vértices de El conjunto de aristas de Dos funciones: que da el inicio o fuente de la arista, y otra función, que da el objetivo de la arista.