[Haskell-cafe] Where is the "convergence point" between Category Theory and Haskell?

Alfredo Di Napoli alfredo.dinapoli at gmail.com
Sun Jan 13 13:15:43 CET 2013


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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130113/ac3925ea/attachment.htm>


More information about the Haskell-Cafe mailing list