free category

category generated from a quiver by from freely concatenating arrows together, whenever the target of one arrow is the source of the next