From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6967 Path: news.gmane.org!not-for-mail From: Michael J Healy Newsgroups: gmane.science.mathematics.categories Subject: Re: diagrams in computer algebra Date: Wed, 12 Oct 2011 15:53:26 -0600 Message-ID: References: Reply-To: Michael J Healy NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1318516340 9836 80.91.229.12 (13 Oct 2011 14:32:20 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 13 Oct 2011 14:32:20 +0000 (UTC) Cc: categories@mta.ca, soloviev@irit.fr To: Vasili I. Galchin Original-X-From: majordomo@mlist.mta.ca Thu Oct 13 16:32:15 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1REMKV-00038f-Od for gsmc-categories@m.gmane.org; Thu, 13 Oct 2011 16:32:15 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:38085) by smtpx.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1REMIR-0002Z7-0u; Thu, 13 Oct 2011 11:30:07 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1REMIP-00029i-Cn for categories-list@mlist.mta.ca; Thu, 13 Oct 2011 11:30:05 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6967 Archived-At: Vasili, Certainly---we'll be happy to do this for anybody who is interested. = Looks like I need to start a list. I might mention again that we're leaning heavily on the work of Johnson = and Rosebrugh. Just for the record, though, any problems with anything = we generate are strictly our own doing. We're having to translate = adjunctions into software methods for generating the functors we need, = and then the colimit theorem into software so we can generate ontologies = as colimits in Cat. Regards again, Mike On Oct 8, 2011, at 3:17 PM, Vasili I. Galchin wrote: > Hi Mike and Sergei, >=20 > I have also thought doing exactly this in Haskell but for dealing > with sheafs. Is there any way Mike that I could monitor the progress > of your effort assuming you will make source available as you said > perhaps below? >=20 > Vasili >=20 > On Mon, Oct 3, 2011 at 1:02 PM, Michael J Healy = wrote: >>=20 >> Sergei, >>=20 >> My colleagues and I have been looking for something like this for a = project. We need to be able to specify small categories as the = completions of finite graphs we are given, extend these by specifying = commutative diagrams, pullbacks, etc, of interest, then define functors = generated from graph homomorphisms, and take colimits of diagrams in = Cat, etc etc. We haven't found anything that does all this. So, we're = programming it in Haskell---one of our grad students knows the language. = We'll be happy to share our experience and will probably make the code = available. It's a work in progress. >>=20 >> Best regards, >> Mike Healy >>=20 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]