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 XTY TXst_{X,Y}:Y^X\to TY^{TX}

Created on January 9, 2013 at 22:41:29. See the history of this page for a list of all contributions to it.