右モノイダル閉圏
#WIP
R-C-MC
モノイダル圏
かつ
右からの任意のモノイダル積
$ - \otimes y
が
右随伴函手
として
右指数函手
$ (-)^y
を持つ
$ z^y
を
$ z ⟜ y
と書く
つまり、任意の対象が
右指数随伴系
をもつ
函手
$ ⟜ \colon C×C^\mathrm{op} → C
を
右内部hom函手
と呼ぶ