I have recently started learning the language of $\infty$-categories. My approach is more to their use, rather than for their own sake. For this reason, as I feel I reached a good understanding of the basic notions (the definition, functors, adjoints, stable categories, etc.), I have now turned my attention to some papers which work in the framework of stable $\infty$-categories to solve the functoriality issues we encounter when we work with triangulated categories. However, I am having problems understanding what can be proved and what can't using techniques similar to the triangulated world. For example, I am reading *Noncommutative homological projective duality* by Alexander Perry (arXiv:1804.00132), and in the first part some results about $S$-linear categories (where $S$ is a scheme satisfying some assumptions) are proved. The formal definition is that the categories of $S$-linear categories is the categories of module objects $\text{Mod}_{\mathfrak{Perf}(S)}(\text{Cat}_{\text{st}})$, where $\text{Cat}_{\text{st}}$ is the $\infty$-category of stable, idempotent complete $\infty$-categories with exact functors. The author then wants to prove that if we have an $S$-linear functor $\phi : \mathcal{C} \rightarrow \mathcal{D}$ between $S$-linear categories which has a left adjoint when considered as a plain functor of $\infty$-categories, then $\phi^{L}$ is automatically an $S$-linear functor. The proof which is given in the paper uses the internal hom for $S$-linear categories, and the adjunction properties
$$
\mathcal{H}om_{S}(\phi^L(C \otimes F), D) \simeq \mathcal{H}om_{S}(C \otimes F, \phi(D)) \simeq \mathcal{H}om_S(C, \phi(D) \otimes F^{\vee}) \simeq \dots \mathcal{H}om_S(\phi^{L}(C) \otimes F,D)
$$
where $C \in \mathcal{C}, D \in \mathcal{D}, F \in \mathfrak{Perf}(S)$, and $\otimes$ denotes the module structure. Then the proof is concluded using the Yoneda lemma.
This is the proof I would write if I were working in the triangulated setting, and I don't understand why one is allowed to use it in the $\infty$-categorical framework as well. Adjunction in this case as far more tricky (even if they imply the obvious isomorphism on mapping spaces), and the structure of $S$-linear functor implies $\phi^L(C \otimes F) \simeq \phi^L(C) \otimes F$ up to contractible choices, but it is not equivalent to this isomorphism, is it? It would be very helpful is some could help me understanding to which point one can transport proofs from the triangulated world to the stable $\infty$-categorical framework. Thanks.

$\begingroup$
$\endgroup$

14
structureon a functor, not just a property. However, for the left adjoint of an S-linear functor you have canonical oplax structure maps $\phi^L(C \otimes F) \rightarrow \phi^L(C) \otimes F$ (adjoint to the map $C \otimes F \rightarrow \phi\phi^L(C) \otimes F \simeq \phi(\phi^L(C) \otimes F)$ defined by the unit of the adjunction and the linearity of $\phi$). So what you're really showing is that this particular map is an equivalence. $\endgroup$ – Rune Haugseng Jul 14 '20 at 9:289more comments