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 <vieira.ufpi@gmail.com> 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