Definition:Free Category

Definition
Let $G$ be a digraph.

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

Also see

 * Free Category is Category, which demonstrates that this is indeed a category.