Having only recently learned to use Monads and appreciate their
utility, I am encountering new category-theoretic material in reading
about arrows in Jansson and Jeuring's Polytypic Compact Printing and
Parsing paper.
It strikes me that I should just get the basics under my belt rather than
skipping ahead hear. What is a good place to start learning the
basics of category theory, monads, and algebra (as in algebraic types not
high school math) for use in a programming context? Books? Papers?
Websites?
-Alex-
___________________________________________________________________
S. Alexander Jacobson i2x Media
1-212-697-0184 voice 1-212-697-1427 fax