Thank you Alexander for the reply.<div>My wondering is: is Hask a category created by Haskell researchers or was something already present in literature?</div><div><br></div><div>Cheers,</div><div>A.<br><br><div class="gmail_quote">
On 13 January 2013 17:44, Alexander Solla <span dir="ltr"><<a href="mailto:alex.solla@gmail.com" target="_blank">alex.solla@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">There was a conversation on the cafe about this last month. Check out:<div><br></div><div><a href="https://groups.google.com/forum/#!topic/haskell-cafe/tBO2AowUvMY" target="_blank">https://groups.google.com/forum/#!topic/haskell-cafe/tBO2AowUvMY</a><br>
</div><div><br></div><div>Category theory is a "language" of composition. In "logical" terms, different categories are models of different axioms. That said, a "rich enough" category is suitable for encoding the "whole" of category theory (as a language -- not necessarily as a model containing sub-models. Typing introduces some complications, since types meant to help us escape logical paradoxes like Russell's by introducing a notion of "foundedness")</div>
<div><br></div><div>Hask is the category whose objects are types and whose morphisms are Haskell functions.</div><div><br></div><div>Hask is a very rich category, and is suitable for encoding a lot (but not all) of category theory. As far as I know, the actual boundary is as yet unknown.</div>
</div><div class="gmail_extra"><br><br><div class="gmail_quote"><div><div class="h5">On Sun, Jan 13, 2013 at 4:15 AM, Alfredo Di Napoli <span dir="ltr"><<a href="mailto:alfredo.dinapoli@gmail.com" target="_blank">alfredo.dinapoli@gmail.com</a>></span> wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">Morning Cafe,<div><br></div><div>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.</div>
<div>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 :)</div>
<div>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".</div><div>I always read about the "Hask category", which seems to be the "bootstrap" of the whole logic behind Haskell. Can you please give my</div>
<div>materials/papers/links/blogs to the Hask category and briefly explain me how it relates to Category Theory and Haskell itself?</div><div><br></div><div>I hope my question is clear enough, in case is not, I'll restate :P</div>
<div><br></div><div>Cheers,</div><div>A.</div>
<br></div></div>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br></div>
</blockquote></div><br></div>