Pro-reflective subcategories (Q789503): Difference between revisions

It is well known that a reflective subcategory \({\mathcal A}\) of a category \({\mathcal X}\) which is provided with an (\({\mathcal E}\)-epi,\({\mathcal M}\)-mono)- factorization system for morphisms, admits an ''interpolation'' \({\mathcal A}\subseteq {\mathcal B}\subseteq {\mathcal X}\) such that \({\mathcal A}\) is \({\mathcal M}\)-reflective (whence bi-reflective) in \({\mathcal B}\) and \({\mathcal B}\) is \({\mathcal E}\)-reflective (whence epi-reflective) in \({\mathcal X}\) [cf. \textit{S. Baron}, Trans. Am. Math. Soc. 136, 499-508 (1969; Zbl 0181.024)]. The author proves a corresponding result for a proreflective subcategory \({\mathcal A}\) of \({\mathcal X}\), that is: Pro-\({\mathcal A}\) is reflectie in Pro- \({\mathcal X}\) (the category of inverse systems over \({\mathcal X})\). Naturally, he needs factorizations of sources rather than of just morphisms in \({\mathcal X}\); the interpolating category \({\mathcal B}\) is \({\mathcal E}\)- reflective in \({\mathcal X}\) and contains \({\mathcal A}\) as an \({\mathcal M}\)- proreflective subcategory. Furthermore, the author gives a characterization of pro-\({\mathcal E}\)-reflective subcategories, and finally he proves that reflectivity is equivalent to proreflectivity and multireflectivity. [The latter can also be obtained as a consequence of Theorem 22.2 of a paper by \textit{R. Börger} and the reviewer in Manuscr. Math. 19, 19-45 (1976; Zbl 0329.18005).]