2016-11-12 06:22:49 +0000seafood(~sseefried@61.68.153.107) (Ping timeout: 260 seconds)
2016-11-12 06:22:50 +0000roconnor_(~roconnor@host-104-157-227-120.dyn.295.ca) (Ping timeout: 246 seconds)
2016-11-12 06:22:52 +0000 <geekosaur> (p 138 at http://www.maths.ed.ac.uk/~aar/papers/maclanecat.pdf)
2016-11-12 06:22:54 +0000roconnor__(~roconnor@OFScd-05p8-249.ppp11.odn.ad.jp)
2016-11-12 06:23:44 +0000romich(~romich@178.120.91.216) (Remote host closed the connection)
2016-11-12 06:24:11 +0000seafood(~sseefried@61.68.142.81)
2016-11-12 06:24:35 +0000 <jle`> cute
2016-11-12 06:24:37 +0000NEo4v8_(~NEo4v8@60-240-36-15.tpgi.com.au) (Ping timeout: 248 seconds)
2016-11-12 06:24:50 +0000 <bollu> heh, neat :)
2016-11-12 06:25:06 +0000 <jle`> i wonder what a "working mathematician" is
2016-11-12 06:25:14 +0000 <bollu> how do you save that using @quote?
2016-11-12 06:25:14 +0000 <bollu> that'd be nice to have a stable refrence
2016-11-12 06:25:14 +0000 <bollu> in lambdabo
2016-11-12 06:25:19 +0000 <bollu> lambdabot*
2016-11-12 06:25:27 +0000 <jle`> lambdabo is my cousin
2016-11-12 06:26:07 +0000 <jle`> @help quote
2016-11-12 06:26:08 +0000 <lambdabot> quote <nick>: Quote <nick> or a random person if no nick is given
2016-11-12 06:26:16 +0000 <jle`> @help addquote
2016-11-12 06:26:16 +0000 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
2016-11-12 06:26:27 +0000 <geekosaur> @help remember
2016-11-12 06:26:27 +0000 <lambdabot> remember <nick> <quote>: Remember that <nick> said <quote>.
2016-11-12 06:27:01 +0000shyardo(~shyardo@189.26.108.75.dynamic.adsl.gvt.net.br) (Ping timeout: 260 seconds)
2016-11-12 06:27:11 +0000 <bollu> @remember 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:27:12 +0000 <lambdabot> Done.
2016-11-12 06:28:01 +0000 <geekosaur> guh. _Categories for the Working Mathematician_
2016-11-12 06:28:20 +0000 <geekosaur> what I get for trying to pull it from memory while looking at the text without the title on screen :/
2016-11-12 06:28:22 +0000roconnor(~roconnor@host-23-251-191-58.dyn.295.ca)
2016-11-12 06:28:31 +0000Jameser(~textual@180.213.73.123) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2016-11-12 06:28:53 +0000roconnor__(~roconnor@OFScd-05p8-249.ppp11.odn.ad.jp) (Ping timeout: 248 seconds)
2016-11-12 06:29:11 +0000 <geekosaur> anyway that book would have been from the time when most mathematicians still considered CT to be weird and esoteric and unrelated to "real" math
2016-11-12 06:31:06 +0000carlosdagos(~carlosdag@61.167.76.188.dynamic.jazztel.es)
2016-11-12 06:31:06 +0000tianlai_(~tianlai@119.9.116.10)
2016-11-12 06:31:30 +0000geekosaurwonders if he's allowed to @remember himself in order to fix that
2016-11-12 06:31:57 +0000 <geekosaur> @help forget
2016-11-12 06:31:57 +0000 <lambdabot> forget nick quote. Delete a quote