Pfadalgebra
Definition
Eine assoziative Algebra, deren Basis aus allen gerichteten Pfaden in einem Quiver (gerichteter Graph) besteht; die Multiplikation ist die Konkatenation von Pfaden, wenn das Endpunkt des ersten mit dem Startpunkt des zweiten übereinstimmt, sonst ist das Produkt null; die Null-Längen-Pfade an den Knoten sind Idempotente.