On 15/12/2011, at 7:44 AM, Jamie Vicary wrote:
I'm interested in finding some results in the literature on bicategories with 2-coproducts.
Dear Jamie At the abstract level of bicategories, coproducts are the same as products. That structure is exactly what Max Kelly and colleagues were working on when Max died: 92. A. Carboni, G.M. Kelly, R.F.C. Walters, and R.J. Wood, Cartesian bicategories II, Theory and Applications of Categories 19 (2008) 93–124. Even in some applications, we do have coproducts and moreover cocompleteness in the hom categories. Then the coproducts are the products (2-dimensional direct sums). See 85. [also see 18] Cauchy characterization of enriched categories, Reprints in Theory and Applications of Categories 4 (2004) 1-16. Best wishes, Ross [For admin and other information see: http://www.mta.ca/~cat-dist/ ]