From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4917 Path: news.gmane.org!not-for-mail From: Dusko Pavlovic Newsgroups: gmane.science.mathematics.categories Subject: Re: patenting colimits? Date: Tue, 2 Jun 2009 11:38:55 +0100 (BST) Message-ID: Reply-To: Dusko Pavlovic NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1244043226 13267 80.91.229.12 (3 Jun 2009 15:33:46 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 3 Jun 2009 15:33:46 +0000 (UTC) To: Till Mossakowski , categories@mta.ca Original-X-From: categories@mta.ca Wed Jun 03 17:33:44 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 1MBsTH-0001Ub-Ro for gsmc-categories@m.gmane.org; Wed, 03 Jun 2009 17:33:44 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MBrjM-0006rM-Cl for categories-list@mta.ca; Wed, 03 Jun 2009 11:46:16 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4917 Archived-At: thanks. our tools can be just as freely downloaded, eg http://www.kestrel.edu/home/projects/pda/ -- dusko On Tue, 2 Jun 2009, Till Mossakowski wrote: > 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]