Definition:Free Category

Definition
Let $G$ be a digraph.

The free category on $G$, denoted $\mathbf C \left({G}\right)$, is the category with:

By Free Category is Category, this is indeed a category.