Cをデカルト閉圏、Cの指数を [A->B] と書く。Iを添字の集合として、(i∈I | [Ai->Bi]) のような添字族を僕は、Cの指数バンドルと呼んでいたが、指数バンドルって単に指標モジュール（一般的指標）に過ぎない。バンドルのセクションが指標のモデル（インスタン…