A free category on a graph G=(V,E) is a category C s.t obj(C)=V C[a,b]=Path(G,a,b) See also Free Monoid