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

Christopher Howard christopher.howard at frigidcode.com
Mon Jan 14 00:43:58 CET 2013

On 01/13/2013 03:15 AM, Alfredo Di Napoli wrote:
> 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.

You want to give us the link to that blog?

If you can keep your explanations reasonably illustrative and easy to
understand, you'll get a regular reader out of me.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 553 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130113/3248c77f/attachment.pgp>

More information about the Haskell-Cafe mailing list