Uniqueness of monoidal adjunctions

Abstract

There are two dual equivalences between the $\infty$-category of $\mathcal{O}$-monoidal $\infty$-categories with right adjoint lax $\mathcal{O}$-monoidal functors and that with left adjoint oplax $\mathcal{O}$-monoidal functors, where $\mathcal{O}$ is an $\infty$-operad. We study the space of equivalences between these two $\infty$-categories, and show that the two equivalences equipped with compatible $\mathcal{O}$-monoidal presheaf functors are canonically equivalent.

10 pages, Introduction and References expanded, typos corrected