From 95640e2dd48f8bc6cb123be981a717bf947f23fb Mon Sep 17 00:00:00 2001 From: jim Date: Thu, 19 Mar 2015 18:32:47 -0400 Subject: [PATCH] tweak category theory blurb --- topics/week7_introducing_monads.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn index f5387f39..14695ec8 100644 --- a/topics/week7_introducing_monads.mdwn +++ b/topics/week7_introducing_monads.mdwn @@ -22,7 +22,7 @@ any case, our emphasis will be on starting with the abstract structure of monads, followed by instances of monads from the philosophical and linguistics literature. -> After you've read this once and are coming back to re-read it to try to digest the details further, the "endofunctors" that slogan is talking about are the boxing operations. Their "monoidal" character is captured in the Monad Laws, where a "monoid"---don't confuse with a mon*ad*---is a simpler algebraic notion, meaning a universe with some associative operation that has an identity. For advanced study, here are some further links on the relation between monads as we're working with them and monads as they appear in category theory: +> After you've read this once and are coming back to re-read it to try to digest the details further, the "endofunctors" that slogan is talking about are a combination of our boxes and their associated maps. Their "monoidal" character is captured in the Monad Laws, where a "monoid"---don't confuse with a mon*ad*---is a simpler algebraic notion, meaning a universe with some associative operation that has an identity. For advanced study, here are some further links on the relation between monads as we're working with them and monads as they appear in category theory: [1](http://en.wikipedia.org/wiki/Outline_of_category_theory) [2](http://lambda1.jimpryor.net/advanced_topics/monads_in_category_theory/) [3](http://en.wikibooks.org/wiki/Haskell/Category_theory) -- 2.11.0