連休は忙しくて(?)メモ書くひまもない。が、いろいろ書くべきことはある。デカルト性cartesianという形容詞を詮索する。 有限直積がある。または、モノイド積が有限直積を与える。 有限完備、有限連続。 引き戻し図に関係する；デカルト自然変換、ファイブレ…

あんれー、実際に定義を書き下したり計算してみたら、どうも予想と違うぞ。まず、Moggiが触れていたTの強度τ:A+T(B)→T(A+B)を使ったペアリング T(A)+T(B)→T(A+B)は、τの左右を逆にした余強度τ':T(A)+B →T(A+B)を使って書くと自然なことがわかった。ペアリン…