From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4915 Path: news.gmane.org!not-for-mail From: Till Mossakowski Newsgroups: gmane.science.mathematics.categories Subject: Re: patenting colimits? Date: Tue, 02 Jun 2009 10:51:22 +0200 Message-ID: Reply-To: Till Mossakowski NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1244043157 13025 80.91.229.12 (3 Jun 2009 15:32:37 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 3 Jun 2009 15:32:37 +0000 (UTC) To: Dusko Pavlovic , categories@mta.ca Original-X-From: categories@mta.ca Wed Jun 03 17:32:35 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1MBsSA-0000zv-NN for gsmc-categories@m.gmane.org; Wed, 03 Jun 2009 17:32:34 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MBriJ-0006lD-UV for categories-list@mta.ca; Wed, 03 Jun 2009 11:45:11 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4915 Archived-At: 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/ ]