Path algebra

Given a quiver $Γ$ and commutative ring $𝑅$ , the path algebra $𝑅 Γ ――$ is the Category rng of the free category $Γ ――$ . #m/def/quiv If $Γ$ is finite, then $𝑅 Γ ――$ is a finitely generated $K$ -monoid,

#state/develop | #lang/en | #SemBr