指標とモデル（インスタンス）と相対性

型クラスのパラメータ問題（トラブルっぽい話）が出てくるのは、指標とモデルの相対性の考察が不足しているせいだと思う。

グロタンディーク平坦化を“積分”とみなしてのフビニに定理だと思う。繰り返し積分と同時多重積分の同値性。直積領域の積分ではなくて、依存積というか非矩形領域での積分を考えることになるだろう。

インデックス付き圏、フィバー圏の構造が、平坦化との関係でハッキリわかれば、パラメータ問題も解決すると思う。