Biequivalences in tricategories

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

References in corpus (2)

• Higher-Dimensional Algebra V: 2-Groups
• A Quillen model structure for Gray-categories

Cited by in corpus (18)

• Infinite loop spaces, and coherence for symmetric monoidal bicategories
• A 3-categorical perspective on G-crossed braided categories
• A bicategorical interpretation for relative Cuntz--Pimsner algebras
• The 2-dimensional stable homotopy hypothesis
• Realization of rigid C*-bicategories as bimodules over type II${}_1$ von Neumann algebras
• K-theory for 2-categories
• The tricategory of formal composites and its strictification
• Contravariance through enrichment
• Stable Postnikov data of Picard 2-categories
• A 2Cat-inspired model structure for double categories
• A model structure for weakly horizontally invariant double categories
• Constructing Higher Inductive Types as Groupoid Quotients
• A Universal Characterisation of Codescent Objects
• Coherence for adjunctions in a $3$-category via string diagrams
• A category of kernels for equivariant factorizations, II: further implications
• Morita Bicategories of Algebras and Duality Involutions
• Fell bundles over quasi-lattice ordered groups and ${\mathrm{C}}^{\ast }$-algebras of compactly aligned product systems
• Coinductive Invertibility in Higher Categories