Dear All, Just another quick comment about monads: On 2/04/09 8:19 AM, "burroni@math.jussieu.fr" <burroni@math.jussieu.fr> wrote:
Cher Thorsten,
toutes mes excuses pour ce message en français.
Le terme "monade" a été employé par Benabou (LNM Springer no 47, si je ne me trompe) et dans un sens abstrait : pseudofoncteur 1 --> B de la bicatégorie finale 1 vers une bicatégorie arbitraire B. Par la suite il a été convenu de le résever au cas particulier où B=Cat (en remplacement du terme "triple").
Some people may reserve monad for the case B=Cat, but not all. After Benabou demonstrated the incredible importance of this idea in various B, the theory of monads in 2-categories/bicategories has been widely developed, starting (I believe) with Ross Street's "Formal theory of monads". Steve.