The free category on the graph shown here:
$$\tag{3.6} \textbf{3} := \textbf{Free}( [ v_1 \overset{f_1}{\rightarrow} v_2 \overset{f_2}{\rightarrow} v_3 ] )$$

It has three objects and six morphisms: the three vertices and six paths in the graph.

Create six names, one for each of the six morphisms in **3**.
Write down a six-by-six table, label the rows and columns by the six names you chose.

1. Fill out the table by writing the name of the composite in each cell.

2. Where are the identities?

[Previous](https://forum.azimuthproject.org/discussion/2131)
[Next](https://forum.azimuthproject.org/discussion/2133)