Pro-reflective subcategories

(E,M)-factorization factorization structure for sources interpolating category inverse system M- proreflective subcategory multireflective subcategory pro-E-reflective subcategory shape theory

Mathematics Subject Classification ID

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical methods in general topology (54B30) Shape theory in general topology (54C56)

Review text

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).]

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Pro-reflective subcategories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q789503)