From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6070 Path: news.gmane.org!not-for-mail From: David Leduc Newsgroups: gmane.science.mathematics.categories Subject: Makkai's suggestion Date: Sun, 29 Aug 2010 05:26:24 +0000 Message-ID: Reply-To: David Leduc NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1283129522 30829 80.91.229.12 (30 Aug 2010 00:52:02 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 30 Aug 2010 00:52:02 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Aug 30 02:52:00 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.138]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OpsbP-0004Xd-RD for gsmc-categories@m.gmane.org; Mon, 30 Aug 2010 02:52:00 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:34246) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1OpsaE-0003iA-FY; Sun, 29 Aug 2010 21:50:46 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1OpsaC-00014S-0a for categories-list@mlist.mta.ca; Sun, 29 Aug 2010 21:50:44 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6070 Archived-At: In "Towards a categorical foundation of mathematics", Makkai wrote that: "This suggests that, possibly, the right approach to the definition of weak n-category is to aim at formulating all coherence conditions at once, regardless the fact that this might give a very "theoretical" definition. It would then be a separate, and still very important, project to find a (hopefully) finite and concise set of coherence conditions that would be enough to imply all coherence conditions." It was 15 years ago! Did this approach give something? [For admin and other information see: http://www.mta.ca/~cat-dist/ ]