
Thanks everyone for the answers. Mine is just an experiment, but if I succeed in keeping it up and to come with something useful, I won't hesitate to poke you :) Btw, in case I succeed, posts will appear here: http://www.alfredodinapoli.com/posts.html and here: http://www.cakesolutions.net/teamblogs/ Bye, Alfredo On 13 January 2013 23:43, Christopher Howard < christopher.howard@frigidcode.com> wrote:
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.
-- frigidcode.com
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe