From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1089 Path: news.gmane.org!not-for-mail From: Paul Taylor Newsgroups: gmane.science.mathematics.categories Subject: my groupoid model Date: Fri, 19 Mar 1999 19:05:39 GMT Message-ID: <199903191905.TAA08502@wax.dcs.qmw.ac.uk> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241017559 29447 80.91.229.2 (29 Apr 2009 15:05:59 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:05:59 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Fri Mar 19 16:45:31 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id PAA17367 for categories-list; Fri, 19 Mar 1999 15:23:45 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 30 Xref: news.gmane.org gmane.science.mathematics.categories:1089 Archived-At: Francois Lamarche says: > I still think that if I started working again in this field, > the problem I would zero in would be to get rid of the permutation groups, This would be a great pity. Girard's coherence spaces (see "Proofs and Types"), ordinary relational algebra (in which Shroeder identified the par, writing +, for it, I think, in 1895) and my model with groupoids all illustrate a common theme in the workings of models of linear logic. In all of these structures, there are extremely natural ways of defining the structure on disjoint unions and cartesian products, and of turning the structure inside out or upside down. These turn out to be the additive, multiplicative and negative connectives in linear logic. There are less natural ways of defining the structure on powersets, finite powersets and other variations on this theme. These are the exponentials. It is important to note that there are several different exponential operations available to interpret ! and ? . Girard got function spaces out of such constructions (as did Francois, myself and numerous other people). What I hope to show soon is how to get higher order logic too. Paul