From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1907 Path: news.gmane.org!not-for-mail From: "Amilcar Sernadas" Newsgroups: gmane.science.mathematics.categories Subject: Re: Probability Theory Date: Tue, 3 Apr 2001 09:29:06 +0100 Message-ID: <00ab01c0bc18$29692ed0$aec488c1@math.ist.utl.pt> References: <15048.29190.127056.701441@merlin.cs.clemson.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1241018197 1131 80.91.229.2 (29 Apr 2009 15:16:37 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:16:37 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Tue Apr 3 15:38:02 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f33I0Yg22087 for categories-list; Tue, 3 Apr 2001 15:00:34 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2314.1300 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 X-MIME-Autoconverted: from 8bit to quoted-printable by bebop.math.ist.utl.pt id f339VPr00667 X-MIME-Autoconverted: from quoted-printable to 8bit by mailserv.mta.ca id f338Vgb20028 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 5 Original-Lines: 66 Xref: news.gmane.org gmane.science.mathematics.categories:1907 Archived-At: ----- Original Message ----- From: Steve Stevenson To: Sent: Monday, April 02, 2001 1:35 PM Subject: categories: Probability Theory > I'm looking for papers/books on category-theoretic approaches to > probability. On the AMS site, there are only two listed: one in 1980 > and one in 1976. Are there more recent? These papers and PhD thesis should be interesting (by decreasing order of abstraction/generality): C. Hermida and P. Mateus. Internal paracategories. Preprint, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2000. Submitted for publication. Get a preprint: http://www.cs.math.ist.utl.pt/ftp/pub/MateusP/00-CM-paracat.ps L. Schröder and P. Mateus. Universal aspects of probabilistic automata. Preprint, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1999. Submitted for publication. Get a preprint: http://www.cs.math.ist.utl.pt/ftp/pub/MateusP/99-SM-precat2.ps P. Mateus. Interconnection of Probabilistic Systems. PhD thesis, IST, Universidade Técnica de Lisboa, 2000. Supervised by A. Sernadas and C. Sernadas. Get a preprint: http://www.cs.math.ist.utl.pt/ftp/pub/MateusP/00-M-PhDthesis.ps P. Mateus, A. Sernadas, and C. Sernadas. Precategories for combining probabilistic automata. Electronic Notes in Theoretical Computer Science, 29, 1999. Early version presented at FIREworks Meeting, Magdeburg, May 15-16, 1998. Presented at CTCS'99, Edinburgh, September 10-12, 1999. http://www.elsevier.nl/cas/tree/store/tcs/free/entcs/store/tcs29/tcs29016.ps P. Mateus, M. Cabral Morais, C. Nunes, A. Pacheco, A. Sernadas, and C. Sernadas. Randomly timed automata. Preprint, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, March 2000. Submitted for publication. Get a preprint: http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/00-MMNPSS-rta.ps P. Mateus, A. Sernadas, and C. Sernadas. Realization of probabilistic automata: Categorical approach. In Didier Bert and Christine Choppy, editors, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science, pages 237--251. Springer-Verlag, 2000. Get a preprint: http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/99-MSS-probreal.ps ++++++++++++++++++++++++++++++++++++++++++++++++++ Amilcar Sernadas Departamento de Matematica Instituto Superior Tecnico Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL tel: 351-21-8417150 fax: 351-21-8417598 e-mail: acs@math.ist.utl.pt www: http://www.cs.math.ist.utl.pt/cs/acs.html ++++++++++++++++++++++++++++++++++++++++++++++++++