We prove a coherence theorem for braided monoidal bicategories and relate it
to the coherence theorem for monoidal bicategories. We show how coherence for
these structures can be interpretted topologically using up-to-homotopy operad
actions and the algebraic classification of surface braids.
We show that every internal biequivalence in a tricategory T is part of a
biadjoint biequivalence. We give two applications of this result, one for
transporting monoidal structures and one for equipping a monoidal bicategory
with invertible objects with a coherent choice of those inverses.