From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4492 Path: news.gmane.org!not-for-mail From: John Baez Newsgroups: gmane.science.mathematics.categories Subject: biadjoint biequivalence Date: Tue, 19 Aug 2008 08:54:12 -0700 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1241019980 13557 80.91.229.2 (29 Apr 2009 15:46:20 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:46:20 +0000 (UTC) To: categories Original-X-From: rrosebru@mta.ca Tue Aug 19 13:59:25 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 19 Aug 2008 13:59:25 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KVUY5-0005Z2-7K for categories-list@mta.ca; Tue, 19 Aug 2008 13:59:13 -0300 Content-Disposition: inline Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 27 Original-Lines: 17 Xref: news.gmane.org gmane.science.mathematics.categories:4492 Archived-At: Dear Categorists - I know someone who needs to construct a "biadjoint biequivalence" between bicategories, and is not relishing the task. If somebody was trying to construct an adjoint equivalence between categories, and was not relishing the task, I might suggest that they construct an equivalence, and then use the theorem that any equivalence can be improved to an adjoint equivalence. Has someone proved that any biequivalence between bicategories can be improved to a biadjoint biequivalence? Best, jb