From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8475 Path: news.gmane.org!not-for-mail From: Harley Eades III Newsgroups: gmane.science.mathematics.categories Subject: Re: Category Theory for the Sciences Date: Thu, 29 Jan 2015 08:53:08 -0500 Message-ID: References: <695A0217-361A-490F-BE0E-7522D35E725D@gmail.com> Reply-To: Harley Eades III NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1422625966 29385 80.91.229.3 (30 Jan 2015 13:52:46 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 30 Jan 2015 13:52:46 +0000 (UTC) Cc: Categories mailing list To: Michael Barr Original-X-From: majordomo@mlist.mta.ca Fri Jan 30 14:52:44 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YHC03-0008Cy-MX for gsmc-categories@m.gmane.org; Fri, 30 Jan 2015 14:52:43 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:59835) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YHBzP-00021v-7V; Fri, 30 Jan 2015 09:52:03 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YHBzM-0004Lx-HV for categories-list@mlist.mta.ca; Fri, 30 Jan 2015 09:52:00 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8475 Archived-At: Hi, Michael. I thought I would mention one more thing. I think that this book and = other work is just the beginning of a whole new area of applied CT. Perhaps I am = wrong. However, there are a few groups of people working on new applications = using primarily CT. For example, check out the recent work of John Baez: http://math.ucr.edu/home/baez/networks/index.html John and his students have been making progress studying network theory and control theory using CT. This includes electrical circuits and = chemical=20 reactions. Also, check out the recent report=20 "Report from Dagstuhl Perspectives Workshop 14182: Categorical Methods = at the Crossroads=94 = http://vesta.informatik.rwth-aachen.de/opus/volltexte/2014/4618/pdf/dagrep= _v004_i004_p049_s14182.pdf This was a meeting to discuss using CT as the basis for math modeling = and=20 applied science. Very best, Harley On Jan 29, 2015, at 8:41 AM, Harley Eades III = wrote: > Hi, Michael. >=20 > On Jan 28, 2015, at 7:59 PM, Michael Barr wrote: >=20 >> A book of that name by David I. Spivak, Mathematics at MIT was = recently=20 >> published by the MIT Press. Has anyone seen it? Did it seem = interesting.=20 >> I wonder what kind of science outside of string theory would find CT=20= >> useful. >=20 > I have been reading it a little here and there. I find it = interesting, and fun > to read. >=20 > You can find an older draft of the book on the authors webpage: >=20 > http://math.mit.edu/~dspivak/CT4S.pdf >=20 > If you are curious. >=20 > The books is an introduction to CT, but with an eye towards = applications in > the sciences. >=20 > It is based, I think, on the intuition the author has obtained from = his > work on using category theory to study databases. He uses these ideas = to > come up with a nice illustrative way to relate categorical =97 and = other mathematical =97=20 > ideas to various scientific situations called ontology logs (ologs). = These are essentially > database schemes or a diagrams in CT. However, they are more = informal. Then given an > olog we can talk about facts, which are just commutative diagrams. = You can see a bunch > of examples in the book. These ologs help take an application one has = in mind and situate it > so the categorical structure is illuminated. >=20 > I find it interesting. I really like his chapter on spans where he = uses them to model > experiments and metrics.=20 >=20 > As for sciences he talks about computer science, information science, = chemistry, physics, > material sciences. I can=92t recall which others. =20 >=20 > Very best, > Harley >=20 >>=20 >> Michael >>=20 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]