most recent 30 from http://mathoverflow.net 2013-05-25T16:31:36Z http://mathoverflow.net/feeds/user/550 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/903/resources-for-learning-practical-category-theory Michael E 2009-10-17T18:03:56Z 2011-01-06T18:05:20Z

<p>I've been doing functional programming, primarily in OCaml, for a couple years now, and have recently ventured into the land of monads. I'm able to work them now, and understand how to use them, but I'm interested in understanding more about their mathematical foundations. These foundations are usually presented as coming from category theory. So we get explanations such as the following:</p> <blockquote> <p>A monad is a monoid in the category of endofunctors.</p> </blockquote> <p>Now, my goal (partially) is to understand what that means. Can anyone suggest a gentle introduction to category theory, particularly one aimed at programmers already familiar with a functional language such as ML or Haskell, with references for further reading? Resources not necessarily aimed at programmers but accessible to readers with a background in discrete math and first-order logic would be quite acceptable as well.</p>

http://mathoverflow.net/questions/1270/alternatives-to-pi-day/1429#1429 Michael E 2009-10-20T13:48:13Z 2009-10-20T13:48:13Z

<p><strong>Incompleteness Day</strong>. I don't know when it would be for sure (the last day of the first month on which the last day is not Saturday, perhaps?, but all party paraphernalia is either missing pieces or somehow inconsistent (e.g. clashing colors, discordant).</p>