From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1424 Path: news.gmane.org!not-for-mail From: Koslowski Newsgroups: gmane.science.mathematics.categories Subject: preprint + CT99 photos Date: Fri, 18 Feb 2000 14:35:42 +0100 (MET) Message-ID: <200002181335.OAA14685@lisa.iti.cs.tu-bs.de> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241017822 31191 80.91.229.2 (29 Apr 2009 15:10:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:10:22 +0000 (UTC) To: categories@mta.ca (categories list) Original-X-From: rrosebru@mta.ca Sat Feb 19 14:55:35 2000 -0400 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id NAA00196 for categories-list; Sat, 19 Feb 2000 13:38:49 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: ELM [version 2.5 PL2] Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 55 Xref: news.gmane.org gmane.science.mathematics.categories:1424 Archived-At: Dear Colleagues, Together with Robin Cockett and Robert Seely I would like to announce the availablility of a preprint Morphisms and modules for linear bicategories that has been submitted for the CT99 proceedings. You can get it from . Those interested in some of the pictures I took at that meeting may want to look at . If anybody wants his or her picture removed, or wants to order a print or a larger version of a picture, please let me know. -- J"urgen Koslowski Abstract: Linear bicategories are a generalization of bicategories, in which the horizontal composition of 1-cells is replaced by two (coherently linked) horizontal compositions. This notion combines and integrates compositional features typical of bicategories with those arising from linear logic. Linear bicategories, therefore, provide a natural categorical semantics and interpretation for (relational) non-commutative linear logic. In particular, the logical notion of negation (or complementation) turns into a linear notion of adjunction, with involutive negations corresponding to cyclic linear adjunctions. The latter are crucial for the construction of a tricategory of linear bicategories, linear functors, linear transformations and linear modifications. This paper first develops the structure of the afore-mentioned tricategory and describes how the various components have a natural interpretation using the diagrammatic calculus of circuits. Then we transfer the module construction to the linear setting, which leads to a new linear bicategory of linear monads, linear modules, and module transformations over a given linear bicategory. This lives in a tricategory where the 1-cells are given by linear functors that are strict on units. The connections of this construction with the nucleus construction for linear bicategories are indicated at the end. The present paper is primarily expository, setting out the notions necessary for the development of category theory enriched in a linear bicategory. -- J"urgen Koslowski \ If I don't see you no more on this world ITI, TU Braunschweig \ I'll meet you on the next one koslowj@iti.cs.tu-bs.de \ and don't be late! http://www.iti.cs.tu-bs/~koslowj \ Jimi Hendrix (Voodoo Child, SR)