Proposition 22.5.3. Every presentably symmetric monoidal \(\infty \)-category is closed: for every object \(X\in C\), the functor \(X\otimes -\colon C\to C\) admits a right adjoint \(\iHom _C(X,-)\).
Proof. This follows immediately from Theorem 22.2.5. □
Generated from the authoritative LaTeX source.