2016-11-12 06:32:07 +0000tianlai_(~tianlai@119.9.116.10) ()
2016-11-12 06:32:08 +0000 <geekosaur> @remember geekosaur wibble
2016-11-12 06:32:08 +0000 <lambdabot> Good to know.
2016-11-12 06:32:10 +0000 <geekosaur> ok, yes
2016-11-12 06:32:18 +0000 <geekosaur> @forget geekosaur wibble
2016-11-12 06:32:18 +0000 <lambdabot> Done.
2016-11-12 06:32:30 +0000 <geekosaur> @forget geekosaur so fwiw it looks like he introduced it in _Category Theory for the Working Mathematician_, and his terminology note doesn't explain why he picked "monad", but perhaps can be understood to imply a sort of cross between "monoid" and "triad". (p 138 at http://www.maths.ed.ac.uk/~aar/papers/maclanecat.pdf)
2016-11-12 06:32:30 +0000 <lambdabot> Done.
2016-11-12 06:32:56 +0000 <geekosaur> @remember geekosaur so fwiw it looks like [Mac Lane] introduced it in _Categories for the Working Mathematician_, and his terminology note doesn't explain why he picked "monad", but perhaps can be understood to imply a sort of cross between "monoid" and "triad". (p.138 at http://www.maths.ed.ac.uk/~aar/papers/maclanecat.pdf)
2016-11-12 06:32:56 +0000 <lambdabot> It is forever etched in my memory.
2016-11-12 06:33:31 +0000 <mauke> rewriting history, eh
2016-11-12 06:33:52 +0000 <ab9rf> history was made to be rewritten
2016-11-12 06:33:52 +0000 <geekosaur> lambdabot isn't pure :p
2016-11-12 06:34:21 +0000 <geekosaur> but, what really annoyed me was "he" instead of specifying Mac Lane
2016-11-12 06:35:07 +0000 <geekosaur> since I wasn;t exactly expecting to turn into a reference there :)
2016-11-12 06:35:28 +0000carlosdagos(~carlosdag@61.167.76.188.dynamic.jazztel.es) (Ping timeout: 245 seconds)
2016-11-12 06:36:30 +0000sdothum(~sdothum@dsl-173-206-130-99.tor.primus.ca) (Quit: ZNC - 1.6.0 - http://znc.in)
2016-11-12 06:38:50 +0000Jameser(~textual@180.213.73.123)
2016-11-12 06:39:08 +0000xcmw(~xcmw@cpe-98-28-134-75.cinci.res.rr.com)
2016-11-12 06:39:10 +0000sathish_haskell(~sathish_h@c-50-186-29-94.hsd1.or.comcast.net)
2016-11-12 06:39:42 +0000 <geekosaur> probably the real place to put that info is on wikipedia in place of the referenceless claim
2016-11-12 06:40:14 +0000 <geekosaur> although the monoid/triad part would probably get flagged :)
2016-11-12 06:40:51 +0000Uakh_(~Uakh@gateway/vpn/privateinternetaccess/uakh)
2016-11-12 06:41:14 +0000 <bollu> geekosaur: why?
2016-11-12 06:41:25 +0000FreeBirdLjj(~freebirdl@2602:306:301f:1a0:ecd1:3a5d:14c9:d19e)
2016-11-12 06:41:53 +0000 <geekosaur> if you put it in without "perhaps can be understood" it gets flagged for not providing a reference to it. if you do include it, someone will flag it [weasel words]
2016-11-12 06:42:34 +0000Uakh(~Uakh@gateway/vpn/privateinternetaccess/uakh) (Read error: Connection reset by peer)
2016-11-12 06:42:44 +0000 <geekosaur> depending on how "just the facts, ma'am" whoever's editing it is feeling
2016-11-12 06:43:08 +0000latro`a(~latro`a@pool-96-255-102-201.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2016-11-12 06:43:57 +0000xcmw(~xcmw@cpe-98-28-134-75.cinci.res.rr.com) (Ping timeout: 256 seconds)
2016-11-12 06:44:25 +0000 <monochrom> put it in, use the citation http://www.vex.net/~trebla/humour/lmcify.html?t=monad+comes+from+%22monoid%22+and+%22triad%22
2016-11-12 06:44:58 +0000lambda-11235(~lambda-11@172.243.152.218) (Read error: Connection reset by peer)
2016-11-12 06:45:32 +0000fnurglewitz(~Enrico@88.147.35.126)
2016-11-12 06:46:14 +0000FreeBirdLjj(~freebirdl@2602:306:301f:1a0:ecd1:3a5d:14c9:d19e) (Ping timeout: 258 seconds)
2016-11-12 06:47:13 +0000mada(~mariano@unaffiliated/madariaga) (Ping timeout: 268 seconds)