22 Jun
2000
22 Jun
'00
12:45 p.m.
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