A question just came up at the Midland Graduate School (actually in the functional programming lecture): Where does the word monad come from? I know that a monad is a monoid in the category of endofunctors, but what is the logic monoid => monad? Btw, I frequently encounter monads in a categories of functors which are not endofunctors. An example are finite dimensional vectorspaces which can be constructed via a monoid in the category of functors FinSet -> Set, here I is the embedding and (x) can be constructed from the left kan extension and composition. The unit is given by the Kronecker delta and join can be constructed from Matrix multiplication. Should one call these beasts monads as well? Is there a good reference for this type of construction? Cheers, Thorsten