2013-03-21 指数バンドルと指標 気付いた プログラム意味論 関手データ Cをデカルト閉圏、Cの指数を [A->B] と書く。Iを添字の集合として、(i∈I | [Ai->Bi]) のような添字族を僕は、Cの指数バンドルと呼んでいたが、指数バンドルって単に指標モジュール(一般的指標)に過ぎない。バンドルのセクションが指標のモデル(インスタンス)。添字の集合Iが指標だが、暗黙にスター状グラフだと解釈しているときもある(余代数指標のとき)。Iが「射の集まり」だと気づきにくいが、いったん気づけばスピヴァック流のモデル理論(インスタンスの理論)が使える。