13 Jan 13:15 2013

## Where is the "convergence point" between Category Theory and Haskell?

Alfredo Di Napoli <alfredo.dinapoli <at> gmail.com>

2013-01-13 12:15:43 GMT

2013-01-13 12:15:43 GMT

Morning Cafe,

I'm planning to do a series of write-ups about Category Theory, to publish them on the company's blog I'm currently employed.

I'm not a CT expert, but since the best way to learn something is to explain it to others, I want to take a shot :)

In my mind I will structure the posts following Awodey's book, but I'm wondering how can I make my posts a little more "real world".

I always read about the "Hask category", which seems to be the "bootstrap" of the whole logic behind Haskell. Can you please give my

materials/papers/links/blogs to the Hask category and briefly explain me how it relates to Category Theory and Haskell itself?

I hope my question is clear enough, in case is not, I'll restate :P

Cheers,

A.

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe <at> haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe