よく知られた事実でも、圏論的に考えると少し面白い（かもしれない）という話。グラフGとその頂点（ノード）rの組 (G, r) をルート付きグラフ（rooted graph）と呼びます。ここでは有向グラフだけを考えて、さらに次の条件を付けます。 ルートrから任意の頂…