Álgebra de Caminos

Un álgebra asociativa cuya base está formada por todos los caminos dirigidos en un quiver (grafo orientado), con multiplicación dada por la concatenación de caminos cuando el extremo del primero coincide con el origen del segundo y definida como cero en caso contrario; los caminos de longitud cero en los vértices son idempotentes.