From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/903 Path: news.gmane.org!not-for-mail From: Marta Bunge Newsgroups: gmane.science.mathematics.categories Subject: Paper available Date: Fri, 30 Oct 1998 08:24:52 -0400 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Trace: ger.gmane.org 1241017311 28214 80.91.229.2 (29 Apr 2009 15:01:51 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:01:51 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Fri Oct 30 13:10:07 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id LAA28774 for categories-list; Fri, 30 Oct 1998 11:20:40 -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: 46 Xref: news.gmane.org gmane.science.mathematics.categories:903 Archived-At: This is to announce a new paper, by Marta Bunge and Marcelo Fiore, "Unique factorization Lifting Functors and Categories of Processes". http://www.dcs.ed.ac.uk/~mf/CONCURRENCY/ufl.dvi http://www.dcs.ed.ac.uk/~mf/CONCURRENCY/ufl.ps The paper is organised as follows. After an Introduction, Section 1 presents background material motivated from the point of view of computer science. In Section 2, the category UFL of unique factorisation lifting (ufl) functors is recalled and its basic properties are studied. Section 3 explores applications of ufl functors to concurrency. In particular we show that they may be used in the study of interleaving models like transition systems. In Section 4, we introduce triangulated categories. Our main use for them is in Section 5 where, for C a triangulated category, we exhibit the category UFL/C as a sheaf topos. These toposes may be regarded as models of linearly-controlled processes. Some concluding remarks are provided in Section 6. Professor Marta Bunge McGill University Department of Mathematics & Statistics Burnside Hall 805 Sherbrooke Street West Montreal, QC Canada H3A 2K6 Fax: (514) 933 8741 Phone: (514) 933 6191