「半加法圏の圏」で、半加法圏（＝双積モノイド圏）の圏はデカルト閉圏になるだろう、とか書いたんですが、それは僕の勘違いでした。デカルト閉圏にはなりません。しかし、なにかうまいモノイド積が存在すれば、そのモノイド積に対してモノイド閉圏になる可…