Hi ``Cartesian bicategories II'' by A. Carboni, G.M. Kelly, R.F.C. Walters, and R.J. Wood in TAC Vol. 19, 2008, No. 6, pp 93-124, gives the details showing that a bicategory with bicategorical finite products has a canonical symmetric monoidal structure. (This is used there to show that a cartesian bicategory also has a canonical symmetric monoidal structure.) Best regards, Richard
Dear all,
I'm interested in finding some results in the literature on bicategories with 2-coproducts. In particular, I'm interested in the symmetric 2-monoidal structure induced by 2-coproducts, the essentially unique symmetric pseudomonoid structure on each object with respect to this 2-monoidal structure, and preservation of all the above structures by left adjoint 2-functors.
I think I could work through this myself if I had to, but I'd prefer to just cite someone else's work if I can. Perhaps this has been worked out in a thesis somewhere?
Cheers, Jamie.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]