Spahn strength

The strength of a monad TT on a category CC which is enriched in a symmetric monoidal category EE is defined to be the following endomorphism of EE.

st X,Y:Y X→TY TXst_{X,Y}:Y^X\to TY^{TX}