もともとの（かなり狭義の）フロイド／ウォーシャル法では、無向グラフ上の最短距離行列や最短経路を求める。有向グラフにして、距離を非負値コストにしてもたいして事情はかわらない。[0, ∞] に min-plusをいれた加法的ベキ等半環を係数域とする行列計算に…

計算関係だとホモロジーが使えない。アーベル圏が出てこない。アーベル圏では次が定義できる。 f : A → B ker f : Ker(f) → A coim f : A → Coim(f) = A/Ker(f) im f : Im(f) → B coker f : B → Coker(f) = B/Im(f) しかし、普通の計算（computation）の状況…