Notion of strong monad in computing
Categories can be seen as the models of an algebraic theory and almost all the derived concepts are finitary and of algorithmic nature. In particular, the notion of a strong monad has found great variety of applications in the theory of computation. In order to expound products in the computational and semantic context, different approaches to this concept have been developed. In this survey we give a brief introduction of the notion of a strong monad in a categorical framework together with some illustrative examples in the theory of computation.