カテゴリー論 (29)

exponentialとproductが絡んだ問題。CCC上で定義されるあるファンクターがfinite productを保存するという成り立ちそうな問題なのだが。関連するobjectがたくさん出てきて収拾がつかなくなった。そこで対応する論理の証明図を書いて、この部分がこう正規化されるから、この矢とこの矢が可換になるはずだ。。。などする。何とか一部分を示したところでみんな疲労困憊。ぐったり。