Let be a quiver.
An oriented cycle is a nontrivial path with ,
i.e. a non-identity endomorphism in the free category.
The quiver is called acyclic iff it has no oriented cycles.
Properties
is acyclic iff is finite, or equivalently the path algebra is finite-dimensional.