From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4825 Path: news.gmane.org!not-for-mail From: Ross Street Newsgroups: gmane.science.mathematics.categories Subject: Re: Axioms of elementary probability Date: Tue, 12 May 2009 11:53:13 +1000 Message-ID: Reply-To: Ross Street NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v753.1) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1242134882 19139 80.91.229.12 (12 May 2009 13:28:02 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 12 May 2009 13:28:02 +0000 (UTC) To: "David Espinosa" , "Categories" Original-X-From: categories@mta.ca Tue May 12 15:27:52 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1M3s1G-0003JY-Rj for gsmc-categories@m.gmane.org; Tue, 12 May 2009 15:27:43 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1M3r4j-00020J-TM for categories-list@mta.ca; Tue, 12 May 2009 09:27:13 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4825 Archived-At: A couple of years ago, Voevodsky gave an interesting talk at the Australian Math Soc Annual Meeting (at RMIT. Melbourne) about a categorical approach to probability theory. Google told me about: http://www.math.miami.edu/anno/voevodsky.htm and http://golem.ph.utexas.edu/category/2007/02/ category_theoretic_probability_1.html Ross On 09/05/2009, at 4:02 PM, David Espinosa wrote: > Here's a question about elementary (naive, finitist) probability. > The proper, self-dual axioms for elementary probability are presumably > > P(0) = 0 > P(X) = 1 > P(A u B) + P(A n B) = P(A) + P(B)