Questions about Quivers Hi,
The definition I have for a Path Algega of a quiver Q is that it is the algebra whose basis is formed by the oriented paths in Q, including the trivial ones.  Apparently multiplication is given by concatenation of paths, and those that can't be concatenated are considered zero.  That part I think I understand, but I am wondering if there is a non-formal interpretation of the addition operation on two elements of a path algebra someone could provide?
 A: The short answer is no.  You just have to think of them as formal sums, in the same way that you can only think of elements of a group algebra as formal sums.
What you can do is think of the path category of a quiver, which is the category whose objects are elements are vertices of the quiver, and whose morphisms are paths in the quiver.  A representation of the path algebra as an algebra is essentially just a functor from this path category to vectors spaces.
A: Maybe it is useful to add that a path algebra is a special case of a tensor algebra of a bimodule. Namely, the path algebra of a finite quiver $Q$ is the tensor algebra $T_RV$ of a finite dimensional bimodule $V=V_Q$ over a split semisimple finite dimensional commutative algebra $R=\oplus_{i\in I}k$ over a field $k$. More precisely, if $M_{ij}$ are the simple (1-dimensional) $R$-bimodules, then $V_Q=\oplus n_{ij}(Q)M_{ij}$, where $n_{ij}(Q)$ is the number of edges in $Q$ going from $i$ to $j$. 
A: I realize that this question is four months old, but I'm new to the site.
Another thing you can do is use the relationship between path algebras and other algebras to breathe some life into the formal construction.  For example, it is known that any elementary hereditary algebra over a field is isomorphic to a path algebra.
