Defining a morphism <U,f> from an monad <S,e,m> on X to a monad <S',e',m'> on X' in such a way that U is a 1-cell (functor) from X to X', there are two choices for the direction of the 2-cell (nat. trans.) f. Street in "The formal theory of monads", JPAA 2(1972), 149--168, chooses f to go from the composit of U with X' to the composit of X with U, while Barr and Wells in TTT choose the other direction (although in their case X=X'). The second choice seems more intuitive to me, since the appropriate specialization gives ordinary monoid homomorphisms. What is the rationale for the first choice? J"urgen Koslowski Dept. of Math. Dept. of Comp. & Info. Sci. Kansas State University =========================================================================