Dusko, let me just notice that we are maintaining a *free software* tool that actually is built upon categorical ideas (using Goguen's and Burstall's institutions) and that computes colimits (there is a menu Edit -> Proofs -> Compute Colimit http://www.dfki.de/sks/hets It is published under a free license, so you can freely download the binaries, the source, modify the source, and republish your improvements under the license. Best, Till Dusko Pavlovic schrieb:
[sorry, i just noticed this]
On May 26, 2009, at 8:29 PM, Zinovy Diskin wrote:
impressive examples, such as the extremely successful Eclipse project http://www.eclipse.org, (btw, Eclipse is partly based on categorical ideas that engineers developed/reinvented from scratch).
i designed two tools which people who built them built on top of eclipse, and i must admint that i managed to completely miss those categorical ideas. eclipse is very handy, but some simple class hierarchies often become unrecognizable in its straitjacket. i am probably not the only one who would be curious to learn more about category theory behind eclipse :)
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]