From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6043 Path: news.gmane.org!not-for-mail From: Valeria de Paiva Newsgroups: gmane.science.mathematics.categories Subject: Re: "Databases are Categories" (again) Date: Wed, 11 Aug 2010 22:44:22 -0700 Message-ID: References: Reply-To: Valeria de Paiva NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1281601965 13316 80.91.229.12 (12 Aug 2010 08:32:45 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 12 Aug 2010 08:32:45 +0000 (UTC) Cc: Categories mailing list To: "Vasili I. Galchin" Original-X-From: majordomo@mlist.mta.ca Thu Aug 12 10:32:43 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpy.mta.ca ([138.73.1.139]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OjTDO-0002MJ-5R for gsmc-categories@m.gmane.org; Thu, 12 Aug 2010 10:32:42 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:48399) by smtpy.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1OjTCE-0007LR-P1; Thu, 12 Aug 2010 05:31:30 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1OjTCB-0004Lt-Kg for categories-list@mlist.mta.ca; Thu, 12 Aug 2010 05:31:27 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6043 Archived-At: Thanks for the link. I looked at the slides and while the basic idea seems nice enough, usually saying "X is Y" is only useful if the identification allows you to prove interesting stuff, which doesn't seem to be the case. quite yet? perhaps? in any case, I'm always happy to see people arguing the usefulness of Category Theory for Computer Science anew, so thanks for the pointer! Regards, Valeria On Mon, Aug 9, 2010 at 9:12 AM, Vasili I. Galchin wro= te: > Hello, > > =A0 =A0 =A0I stumbled across this tech talk: > http://www.galois.com/blog/2010/05/27/tech-talk-categories-are-databases/= =A0I > was wondering > what others in this mail list think about Spivak's thesis. I apologize if > already posted. > > > Regards, > > Vasili > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]