Implication Details

Claim: Given a symmetric monoidal category whose underlying category has a generating collection and is locally essentially small and is well-copowered, if it is cocomplete, then it is closed.

Proof: This follows by applying the dualized Special Adjoint Functor Theorem to each functor $A \otimes -$.

This implication has a dual.