でもホモトピー性として定義したらグラフの向きなんて関係ないじゃん。