From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8119 Path: news.gmane.org!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: Category theory vs. ZF language in a physics paper Date: Fri, 16 May 2014 10:17:06 -0700 Message-ID: References: Reply-To: Vaughan Pratt NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1400369064 19767 80.91.229.3 (17 May 2014 23:24:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 17 May 2014 23:24:24 +0000 (UTC) To: Categories mailing list Original-X-From: majordomo@mlist.mta.ca Sun May 18 01:24:19 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Wlnxg-0007Pz-CB for gsmc-categories@m.gmane.org; Sun, 18 May 2014 01:24:16 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:59139) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Wlnwm-0001Pq-Ao; Sat, 17 May 2014 20:23:20 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Wlnwm-0004XN-3s for categories-list@mlist.mta.ca; Sat, 17 May 2014 20:23:20 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8119 Archived-At: Perhaps Tegmark and Voevodsky should have lunch the next time they're both at the same place. Not too hard to get between MIT and Princeton. Interested parties might want to first read through the 155 comments (9 by Tegmark himself) at http://rationallyspeaking.blogspot.com/2014/02/rationally-speaking-podcast-max-tegmark.html before commenting here. Stand-on-their-shoulders-instead-of-their-toes sort of thing. Chemistry predates atomic physics. If a new subject emerges in the future that atomic physics predates in the same way, the Mathematical Universe Hypothesis would cease to be a concern of physics (as we know it) just as it presumably is not a concern of chemistry today. Vaughan On 5/15/2014 11:32 PM, Vasili I. Galchin wrote: > Hi CatTheory people, > > I think that http://arxiv.org/pdf/0704.0646v2.pdf should be > rewritten using category/topos theoretical language. E.g. instead of > alluding to an infinite number of group presentations use Lawvere > functional semantics ala categorical logic. Yes?? > > Vasya [For admin and other information see: http://www.mta.ca/~cat-dist/ ]