Biequivalences in tricategories
arXiv:1102.0979
Abstract
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.
Accepted for publication, to appear in Theory and Applications of Categories