事情があって、モノイドと有向グラフから圏を構成する方法を考えたので書いておきます。自由圏（道の圏、パスの圏）Gが有向グラフのとき、Gから作られる自由圏（free category）はよく知られています。復習しておきます。記号法は圏論のものを用います； |G|…