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&#39;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">&lt;<a href="mailto:vieira.ufpi@gmail.com">vieira.ufpi@gmail.com</a>&gt;</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&#39;m trying to use Haskell to program with Categories, but I didn&#39;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>&quot;Para saber quantos amigos você tem, dê uma festa. <br>&#39;Para saber a qualidade deles, fique doente!&quot;<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>