
And Dan Piponi has a nice collection of blogposts about this topic, for which he has just created an overview: http://blog.sigfpe.com/2010/03/partial-ordering-of-some-category.html greetings, Sjoerd On Mar 29, 2010, at 8:29 PM, Edward Kmett wrote:
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.
http://hackage.haskell.org/package/category-extras
There is also Sjoerd Visscher's data-category:
http://hackage.haskell.org/package/data-category
Beyond that feel free to ask questions.
-Edward Kmett
On Mon, Mar 29, 2010 at 6:09 AM, Francisco Vieira de Souza
wrote: Hi Haskell-cafe. 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? Thanks in advance, Vieira -- "Para saber quantos amigos você tem, dê uma festa. 'Para saber a qualidade deles, fique doente!"
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- Sjoerd Visscher http://w3future.com