上江州さんが使っていたラムダは、チャーチのラムダとは別で、関数抽象はしない。やることは： 引数変数から名前を奪う。v→射をCの射にする。 式（項）の射としての定義域をハッキリとさせる。 チャーチのラムダはデカルト閉圏でないと使えないが、上江州ラ…

普通、具象圏というと、Setの部分圏とかSetへの忘却関手を持つ圏だが、少し別な味方をしてみる。まず、Set、Ord、Vect、ΩΟのような具象的だと思える圏を選んで、それをVと置く。このVは普通の意味で具象的、つまり集合論的だとする。それで、Cが具象的だとは…

XMLの意味論とは、ΩΟをambient categoryとする多ソート指標のモデル論の特殊ケースだと思っている。次の事実は実際的に役に立つ。Σを普通の多ソート指標、MをΣのΩΟモデルとする。NをΣのSetモデルとする。このとき： Mのpowerモデル（ΩΟ上の共変powerを適用す…

昨日： 表層的な現象が見えているけど、背後にある仕掛けがわかんない状態はイライラするね。もうヤメタ、、、、って止めないけど。 あいかわらずイライラ。が、わかることだけ記録しておくしかない、クッソー。とりあえず、Σを普通の多ソート指標とする。つ…

ウチの長男が欲しがってる！マージンFXのひまわり証券さん、ニンテンドーDS Lite欲しい！