From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2071 Path: news.gmane.org!not-for-mail From: "RFC Walters" Newsgroups: gmane.science.mathematics.categories Subject: New address: RFC Walters Date: Mon, 31 Dec 2001 09:31:29 +0100 Message-ID: <000b01c191d5$8cc90390$0e034ed4@WALTER> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 X-Trace: ger.gmane.org 1241018383 2295 80.91.229.2 (29 Apr 2009 15:19:43 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:19:43 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Mon Dec 31 10:55:41 2001 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 31 Dec 2001 10:55:41 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 3.33 #2) id 16L3n4-0000Yh-00 for categories-list@mta.ca; Mon, 31 Dec 2001 10:51:50 -0400 X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 48 Original-Lines: 40 Xref: news.gmane.org gmane.science.mathematics.categories:2071 Archived-At: New email address robert.walters@uninsubria.it New mail address Universita' dell'Insubria Dipartimento di Scienze CC, FF e MM Via Valleggio 11 22100 COMO, Italy Web homepage http://www.unico.it/~walters/ My recent papers are available there: the latest being P. Katis, N. Sabadini, R.F.C. Walters Feedback, trace and fixed point semantics We introduce a notion of category with feedback-with-delay, closely related to the notion of traced monoidal category, and show that the Circ construction of [JPAA 115: 141--178, 1997] is the free category with feedback on a symmetric monoidal category. Combining with the Int construction of Joyal-Street-Verity [Math. Proc. Camb.Phil. Soc., 119, 447-468, 1996] we obtain a description of the free compact closed category on a symmetric monoidal category. We thus obtain a categorical analogue of the classical localization of a ring with respect to a multiplicative subset. In this context we define a notion of fixed-point semantics of a category with feedback which is seen to include a variety of classical semantics in computer science. Others: R. Rosebrugh, N. Sabadini, R. F. C. Walters, Minimization and Minimal Realization in Span(Graph), submitted P. Katis, N. Sabadini, RFC Walters, Classes of finite state automata for which compositional minimization is linear time Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F.C. Walters, Comparing cospan-spans and tiles via a Hoare-style process calculus