From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5516 Path: news.gmane.org!not-for-mail From: Mike Stay Newsgroups: gmane.science.mathematics.categories Subject: Commuting diagrams in a bicategory Date: Tue, 12 Jan 2010 15:17:30 -0800 Message-ID: Reply-To: Mike Stay NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1263397892 18425 80.91.229.12 (13 Jan 2010 15:51:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 13 Jan 2010 15:51:32 +0000 (UTC) To: categories Original-X-From: categories@mta.ca Wed Jan 13 16:51:25 2010 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 1NV5VD-0005Pa-Gr for gsmc-categories@m.gmane.org; Wed, 13 Jan 2010 16:51:23 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NV5AD-0002T8-FZ for categories-list@mta.ca; Wed, 13 Jan 2010 11:29:41 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5516 Archived-At: I'm writing up the definitions of braided, sylleptic, and symmetric monoidal bicategories and would like to reorient some of the polyhedral coherence diagrams to make their symmetry more apparent. All the 2-morphisms are isomorphisms and all the 1-morphisms are equivalences. In such a case, it seems like any way of chopping up the polyhedron into two "sides" will commute as long as one way does. Is this common wisdom, or a folk theorem, or has someone proved it? -- Mike Stay - metaweta@gmail.com http://math.ucr.edu/~mike http://reperiendi.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]