スピヴァック理論とかの刺激で、マイヒル／ネロードの定理がけっこう分かってきた。指標を圏、むしろ圏の表示（presentation）だと考える。具体的には有向グラフとパス同値関係のセット。有向グラフのルートノード／リーフノードと同じ定義で、圏のルート対…