有効グラフのパスの圏