インデックス付き圏

インデックス付き圏て、単にグラフ（ハッセ図）上の関数くらいのノリで扱えばいいんじゃないか。

F[x]がインデックス付き圏のとき、グロタンディーク平坦化は、 ∫F[x]δx とか Σ_x∈XF[x] と書けばいいくらい。