Carl, Notice that Baez and Stay are (or have been) working with Bob Coecke of Oxford (New Structures in Physics). See: Bob Coecke's work with Samson Abramsky on the applicability of this work to dynamic and quantum logic.
Ken > -----Original Message----- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of Carl Tollander > Sent: Sunday, August 10, 2008 10:14 AM > To: The Friday Morning Applied Complexity Coffee Group > Subject: Re: [FRIAM] Rosen, and mapping > > In that same vein I also recommend at least the first few > pages of this talk. > > http://math.ucr.edu/home/baez/periodic/ > > Carl > > Ken Lloyd wrote: > > Nick, > > > > See: http://math.ucr.edu/home/baez/rosetta.pdf > > > > It relates category theory with mathematical topology, > physics, logic > > and programming. > > > > Ken > > > > *From:* [EMAIL PROTECTED] > > [mailto:[EMAIL PROTECTED] *On Behalf Of > *Nicholas Thompson > > *Sent:* Saturday, August 09, 2008 8:58 PM > > *To:* friam@redfish.com > > *Subject:* [FRIAM] Rosen, and mapping > > > > Roseners, and anybody else vaguely interested in > category theory. > > > > Rosen seems to be interested in situations in which A maps to B > > but not all the values in B can be generated by the mapping. > > > > this is a lot like the Intension and the Extension of an > > utterance. I say with assurance that Mrs. Vanderbilt wished to > > sail on the Titanic. In this case, Mrs Vanderbilt's > "wanting" is > > a function (mathematical sense) that maps from her wants to a > > subset of the properties of the Titanic. All the properties of > > the Titanic constitute (in philosophic lingo ) it's extension. > > The subset, the "image" of Mrs Vanderbilt's wanting , > constitutes > > the intension of her utterance, "I want to sail on the > Titanic." > > Among the titanic's attributes, but outside that image, is the > > property "hit an iceberg in the North Atlantic and sank." > > > > I guess the question is whether there is a less tortured > > mathematics than category theory that would allow one to talk > > about these things. > > > > N > > > > > > > > > > Nicholas S. Thompson > > Emeritus Professor of Psychology and Ethology, > > Clark University ([EMAIL PROTECTED] > > <mailto:[EMAIL PROTECTED]>) > > > > > > > > > > > ---------------------------------------------------------------------- > > -- > > > > ============================================================ > > FRIAM Applied Complexity Group listserv Meets Fridays > 9a-11:30 at cafe > > at St. John's College lectures, archives, unsubscribe, maps at > > http://www.friam.org > > ============================================================ > FRIAM Applied Complexity Group listserv > Meets Fridays 9a-11:30 at cafe at St. John's College > lectures, archives, unsubscribe, maps at http://www.friam.org ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College lectures, archives, unsubscribe, maps at http://www.friam.org