Re: category theory --- S. Alexander Jacobson wrote:
| 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?
I've found most attractive account (for a jobbing computer scientist like me)
to be the first 100 or so pages of Goldblatt's 'Topoi' (North-Holland, 1984)
... beautifully written.
On another point ... I assume *someone* out there must have re-written the ML
code from Rydeheard and Burstall's 'Computational Category Theroy' in Haskell -
even if only partially. If you have, I'd welcome a copy of the code.
Alan
--
Dr A.M. Wood email: [EMAIL PROTECTED]
Department of Computer Science WWW: http://www.cs.york.ac.uk/~wood
University of York phone: +44 1904 432776
Heslington fax: +44 1904 432767
York
YO10 5DD
UK
