<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">And Dan Piponi has a nice collection of blogposts about this topic, for which he has just created an overview:<div><br></div><div><a href="http://blog.sigfpe.com/2010/03/partial-ordering-of-some-category.html">http://blog.sigfpe.com/2010/03/partial-ordering-of-some-category.html</a></div><div><br></div><div>greetings,</div><div>Sjoerd</div><div><br><div><div>On Mar 29, 2010, at 8:29 PM, Edward Kmett wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">One place to start might be category-extras on hackage, which covers a wide array of category theoretic constructs at least as they pertain to the category of Haskell types.<br><br><a href="http://hackage.haskell.org/package/category-extras">http://hackage.haskell.org/package/category-extras</a><br>
<br>There is also Sjoerd Visscher's data-category:<br><br><a href="http://hackage.haskell.org/package/data-category">http://hackage.haskell.org/package/data-category</a><br><br>Beyond that feel free to ask questions.<br>
<br>-Edward Kmett<br><br><br><div class="gmail_quote">On Mon, Mar 29, 2010 at 6:09 AM, Francisco Vieira de Souza <span dir="ltr"><<a href="mailto:vieira.ufpi@gmail.com">vieira.ufpi@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div>Hi Haskell-cafe.</div>
<div>I'm trying to use Haskell to program with Categories, but I didn't have seeing some works in this area nor references about this. Does someone can help me ins this subject?</div>
<div>Thanks in advance,</div>
<div>Vieira<br clear="all"><br>-- <br>"Para saber quantos amigos você tem, dê uma festa. <br>'Para saber a qualidade deles, fique doente!"<br></div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">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>
_______________________________________________<br>Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>http://www.haskell.org/mailman/listinfo/haskell-cafe<br></blockquote></div><br><div>
<span class="Apple-style-span" style="font-size: 12px; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>--</div><div>Sjoerd Visscher</div><div><a href="http://w3future.com">http://w3future.com</a></div><div><br></div></div></span><br class="Apple-interchange-newline"><br class="Apple-interchange-newline">
</div>
<br></div></body></html>