[Haskell-cafe] Where is the "convergence point" between Category Theory and Haskell?
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
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...
Size: 553 bytes
Desc: OpenPGP digital signature
More information about the Haskell-Cafe