Closed categories generated by commutative monads

Abstract

The notion of commutative monad was defined by the author in [4]. The content of the present paper may briefly be stated: The category of algebras for a commutative monad can in a canonical way be made into a closed category, the two adjoint functors connecting the category of algebras with the base category are in a canonical way closed functors, and the front- and end-adjunctions are closed transformations. (The terms ‘Closed Category’ etc. are from the paper [2] by Eilenberg and Kelly). In particular, the monad itself is a ‘closed monad’; this fact was also proved in [4].