Hi Arnaud, you may want to look at http://mathcs.mta.ca/research/rosebrugh/Easik/ This is a java tool which allows entity design using various cat theory constraints such as sum, product and pullbacks. Brett Giles Sent from my iPhone

Message: 14 Date: Wed, 22 Jun 2011 14:06:21 -0500 From: Gregg Reynolds Subject: Re: [Haskell-cafe] Category theory as a design tool To: Arnaud Bailly Cc: Haskell Cafe Message-ID: Content-Type: text/plain; charset="utf-8"

On Tue, Jun 21, 2011 at 11:30 PM, Arnaud Bailly wrote:

...

(2nd try, took my gloves off...) Hello Caf?, I have been fascinated by Cat. theory for quite a few years now, as most people who get close to it I think.

I am a developer, working mostly in Java for my living and dabbling with haskell and scala in my spare time and assuming the frustration of having to live in an imperative word. More often than not, I find myself trying to use constructs from FP in my code, mostly simple closures and typical data types (eg. Maybe, Either...). I have read with a lot of interest FPS (http://homepages.mcs.vuw.ac.nz/~tk/fps/) which exposes a number of OO patterns inspired by FP.

Are there works/thesis/books/articles/blogs that try to use Cat. theory explicitly as a tool/language for designing software (not as an underlying formalisation or semantics)? Is the question even meaningful?

You might try: Category Theory for Computing Sciencehttp://www.cwru.edu/artsci/math/wells/pub/ctcs.html (Barr and Wells)

and Conceptual Mathematics: a first introduction to categorieshttp://books.google.com/books/about/Conceptual_mathematics.html?id=o1tHw4W5M... (Lawvere)

"Kinship and Mathematical Categories" (by Lawvere) is also interesting.

-Gregg

...

Thanks in advance, Arnaud

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe