From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2495 Path: news.gmane.org!not-for-mail From: M Heather Newsgroups: gmane.science.mathematics.categories Subject: Quantum logic and applied categories Date: Mon, 3 Nov 2003 15:20:19 -0000 Message-ID: <61B1A61B4F4AD711B3450008C791F6FA14901E@clearwater.unn.ac.uk> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Trace: ger.gmane.org 1241018704 4429 80.91.229.2 (29 Apr 2009 15:25:04 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:25:04 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Nov 4 18:05:11 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 04 Nov 2003 18:05:11 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AH9Dr-00034w-00 for categories-list@mta.ca; Tue, 04 Nov 2003 18:00:23 -0400 X-Mailer: Internet Mail Service (5.5.2657.72) Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 3 Original-Lines: 32 Xref: news.gmane.org gmane.science.mathematics.categories:2495 Archived-At: The complexity of the contributions on this subject seem unlikely to encourage applicable category theory. Quantum Logic is perhaps a prime example where CT can deal directly with 'non-locality' without recourse to quasi-linear reductions like the non-distributive orthocomplemented modular lattice. That may be the accepted interpretation but not for its scientific merits more from an argument ad hominem as it arose from a particular thought experiment of von Neumann. QL in CT via Hilbert spaces is to model a model. A stream can never rise higher than its first spring, said Francis Bacon at the outset of modern science. Surely QL is much better represented by the higher internal logic of a general topos as it satisfies the correspondence principle. The non-distributive lattice version on the other hand cannot. The papers discuss for a BCS Cybernetic Machine Group publication how CT can subsume the various interpretations to help achieve quantum computation in natural computing. These draw on the neutral concept of the anticipatory system introduced by Rosen who has advocated the use of CT for representing life systems. Quantum logic is in a class of modern 'non-local' problems like natural language, information theory, globalisation, social systems, etc that could be greatly advanced by the use of applied category theory. Unfortunately there appears to be no readily available treatise on CT that is not heavily couched in 'local' set-like language and able to pass the adequacy test of Bacon. Michael Heather