0MV3 Proof: By Lemma 5.2 and Proposition 5.4, Hom(S,−) is dense and fully faithful. Hence, by [14, Theorem IV.4.1], Hom(S,−) is an equivalence of categories. □