Path algebra

Given a quiver $Γ$ and commutative ring $K$ , the path algebra $K Γ ――$ is the category rng of the free category $Γ ――$ . #m/def/quiv Explicitly, $K Γ ――$ is the free module spanned by paths in $Γ$ including zero-length ones, and the product of two basis elements is the concatenation of the corresponding paths or zero. If $Γ$ is finite, then $K Γ ――$ is a finitely generated $K$ -monoid,

#state/tidy | #lang/en | #SemBr