Definition:Free Category

Definition
Let $G$ be a digraph.

The free category on $G$, denoted $\map {\mathbf C} G$, is the category with:

Also see

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