From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1551 Path: news.gmane.org!not-for-mail From: Frank Atanassow Newsgroups: gmane.science.mathematics.categories Subject: Adjoints in bicategories Date: Thu, 22 Jun 2000 14:45:07 +0200 (MET DST) Message-ID: <20000622124507.EF71C451D@mail.cs.uu.nl> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241017918 31753 80.91.229.2 (29 Apr 2009 15:11:58 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:11:58 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Jun 22 10:12:02 2000 -0300 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id KAA22081 for categories-list; Thu, 22 Jun 2000 10:09:18 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 16 Xref: news.gmane.org gmane.science.mathematics.categories:1551 Archived-At: I'm looking for definitions of (the weak 2-dimensional analogues of 1-) products and coproducts for bicategories, and also adjoints. In his 1967 article "Introduction to Bicategories, Part I" Benabou promises to treat biadjoints in a sequel, but I gather this was never published. Gray treats a notion of "quasi-adjointness" in "Formal Category Theory"; is this accepted as the "right" generalization? Pointers to definitions of these concepts in one of the approaches to weak n-categories would be welcome as well. -- Frank Atanassow, Dept. of Computer Science, Utrecht University Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands Tel +31 (030) 253-1012, Fax +31 (030) 251-3791