From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2852 Path: news.gmane.org!not-for-mail From: Ross Street Newsgroups: gmane.science.mathematics.categories Subject: Re: weak double categories? Date: Fri, 28 Oct 2005 10:13:24 +1000 Message-ID: NNTP-Posting-Host: main.gmane.org Content-Type: text/plain;charset=US-ASCII Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018943 6085 80.91.229.2 (29 Apr 2009 15:29:03 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:29:03 +0000 (UTC) To: Categories Original-X-From: rrosebru@mta.ca Fri Oct 28 19:38:35 2005 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 28 Oct 2005 19:38:35 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1EVcjt-0003FN-N8 for categories-list@mta.ca; Fri, 28 Oct 2005 19:30:21 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 27 Original-Lines: 18 Xref: news.gmane.org gmane.science.mathematics.categories:2852 Archived-At: [Note from moderator: message resent, may have been transmitted incorrectly.] Dominic Verity's PhD thesis did that (amongst other things) for some very good reasons. ---Ross On 27/10/2005, at 6:08 AM, John Baez wrote: > If you weaken the notion of 2-category you get the notion of > bicategory. Has anyone tried to correspondingly weaken the > notion of double category, so that a bicategory is a special > sort of "weak double category" in analogy to the ways in which > a 2-category is a special sort of double category? Did anyone > succeed?