From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/219
Path: news.gmane.org!not-for-mail
From: Steve Lack <s.lack@uws.edu.au>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: Where does the term monad come from?
Date: Fri, 03 Apr 2009 15:33:13 +1100
Message-ID: <E1Lpj1I-0005KM-Bx@mailserv.mta.ca>
Reply-To: Steve Lack <s.lack@uws.edu.au>
NNTP-Posting-Host: lo.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: quoted-printable
X-Trace: ger.gmane.org 1238766256 17793 80.91.229.12 (3 Apr 2009 13:44:16 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Fri, 3 Apr 2009 13:44:16 +0000 (UTC)
To: <burroni@math.jussieu.fr>, Thorsten Altenkirch <txa@Cs.Nott.AC.UK>, <categories@mta.ca>
Original-X-From: categories@mta.ca Fri Apr 03 15:45:34 2009
Return-path: <categories@mta.ca>
Envelope-to: gsmc-categories@m.gmane.org
Original-Received: from mailserv.mta.ca ([138.73.1.1])
	by lo.gmane.org with esmtp (Exim 4.50)
	id 1Lpji0-0007eX-Bh
	for gsmc-categories@m.gmane.org; Fri, 03 Apr 2009 15:45:24 +0200
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61)
	(envelope-from <categories@mta.ca>)
	id 1Lpj1I-0005KM-Bx
	for categories-list@mta.ca; Fri, 03 Apr 2009 10:01:16 -0300
Original-Sender: categories@mta.ca
Precedence: bulk
Xref: news.gmane.org gmane.science.mathematics.categories:219
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/219>

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,
>=20
> toutes mes excuses pour ce message en fran=E7ais.
>=20
> Le terme "monade" a =E9t=E9 employ=E9 par Benabou (LNM Springer no 47, si je
> ne me trompe) et dans un sens abstrait : pseudofoncteur 1 --> B de la
> bicat=E9gorie finale 1 vers une bicat=E9gorie arbitraire B. Par la suite
> il a =E9t=E9 convenu de le r=E9sever au cas particulier o=F9 B=3DCat (en
> remplacement du terme "triple").

Some people may reserve monad for the case B=3DCat, but not all. After Benabo=
u
demonstrated the incredible importance of this idea in various B, the theor=
y
of monads in 2-categories/bicategories has been widely developed, starting
(I believe) with Ross Street's "Formal theory of monads".

Steve.