自己指数モノイド対象
モノイダル圏
$ C
において
$ a \colon C
が
指数随伴系
をもつとき
$ a
自身への指数が
モノイド対象
となる
左自己指数モノイド対象
$ \left\lang\textrm{Monoid}\colon (a⊸a); \mathrm{comp}_{a,a,a}, \mathrm{id}_a \right\rang
where
左指数随伴系
$ \mathrm{LExpAdjs}[a]
$ =\left\langle (a⊗) \dashv (a⊸) ,{}^a\mathrm{unit} ,{}^a\mathrm{eval} \right\rangle
内部合成子
内部恒等射