指標のあいだの構成〈construction〉は、ML言語のファンクタと同じ概念。引数がない構成がML言語のストラクチャ。
問題は、パラメータ付き指標のあいだの構成＝パラメータ付き構成。意味論はむしろ簡単で、パラメータ付き指標の意味がインデックス付き圏だから、パラメータ付き構成の意味論は、インデックス付き圏のあいだの準同型、つまりインデックス付き関手〈indexed functor〉。インデックス付き関手は、インデキシング圏のあいだの関手と、引き戻しインデックス付き圏のあいだの関手（実体は自然変換）からなる。
インデキシング圏はパラメータ指標のモデル圏だからいいとして、引き戻しインデックス付き圏のあいだの関手（自然変換）を構文的にどう記述するか？
