generated at
自己指数モノイド対象
モノイダル圏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
内部合成子
内部恒等射