QuiverCompose

Concatenate two paths — or zero, when does not start where ends. Most products in a path algebra are zero, and that is the structure rather than a failure.

WikipediaQuiver (mathematics)↗WikidataQ493980↗Encyclopedia of MathematicsQuiver↗nLabquiver↗

QuiverCompose(quiver, p, q) then , or 0

Domain: Path algebras

Details

• Associative, and the trivial paths act as local identities
• Zero is an honest answer here — it is returned as 0, not left symbolic
• The quiver is an argument because a path carries no reference to its own quiver

Examples

See also: QuiverPath, QuiverIsAcyclic