2008-09-11 圏Catがデカルト閉であることとか 課題 圏一般論 圏Catに普通のデカルト積を入れる。指数を関手圏とすると、デカルト閉であることをちゃんと示せ。同じ事をモノイド閉圏Mで豊饒化した状況で成立するか。M-Catが、なんらかの適切な定義のもとでモノイド閉か?