Re: patenting colimits?

[Till Mossakowski <Till.Mossakowski@dfki.de>]

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/ ]