右モノイダル閉圏 - 雑多な感じ

右モノイダル閉圏

R-C-MC

モノイダル圏かつ

右からの任意のモノイダル積$ - \otimes y が

右随伴函手として右指数函手$ (-)^y を持つ

$ z^y を$ z ⟜ y と書く

つまり、任意の対象が右指数随伴系をもつ

函手$ ⟜ \colon C×C^\mathrm{op} → C を右内部hom函手と呼ぶ