\(S\)-colocalization and Adams cocompletion (Q6148028)

\textit{A. K. Bousfield} [Topology 14, 133--150 (1975; Zbl 0309.55013)] introduced the idea of localization in categories, explaining the determination of an \(S\)-localization\ functor \(E:\mathcal{C} \rightarrow\mathcal{C}\) by a class of morphisms \(S\) in a category \(\mathcal{C}\). \textit{A. Deleanu} et al. [Cah. Topologie Géom. Différ. Catégoriques 15, 61--82 (1974; Zbl 0291.18003)] introduced the idea of Adams completion [\textit{J. F. Adams}, Proc. int. Conf. Manifolds relat. Top. Topol. 1973, 247--253 (1975; Zbl 0313.55011); Stable homotopy and generalised homology. Chicago - London: The University of Chicago Press (1974; Zbl 0309.55016); Localisation and completion. Chicago, Illinois: Department of Mathematics (1975; Zbl 0527.55016)], suggesting its dual notion known as the Adams cocompletion. The principal objective in this paper is to deduce an isomorphism between the notions of \(S\)-colocalization [\textit{W. G. Dwyer}, NATO Sci. Ser. II, Math. Phys. Chem. 131, 3--28 (2004; Zbl 1062.55009)], the dual of \(S\)-localization\ of an object, and the Adams cocompletion of the same object in a complete small \(\mathcal{U}\)-category together with a specific set of morphisms \(S\) and a fixed Grothendieck universe \(\mathcal{U}\) [\textit{H. Schubert}, Categories. Translated from the German by Eva Gray. Berlin-Heidelberg-New York: Springer-Verlag (1972; Zbl 0253.18002)].