The quiver algebra or path algebra of a quiver G is the category algebra of the free category over G.