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.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2023
- DOI:
- arXiv:
- arXiv:2302.02035
- Bibcode:
- 2023arXiv230202035T
- Keywords:
-
- Mathematics - Category Theory;
- Mathematics - Algebraic Topology;
- 18N70 (primary);
- 18N60;
- 55U40 (secondary)
- E-Print:
- 10 pages, Introduction and References expanded, typos corrected