Reflective Subcategories, Localizations and Factorization Systems: Corrigenda C. Cassidy, M. Hébert and G. M. Kelly, 1980 Mathematics subject classification (Amer. Math. Soc.): 18 A 20.
This work is a detailed analysis of the relationship between reflective subcategories of a category and factorization systems supported by the category.
A classical result of P. Freyd and M. Kelly states that in "good" categories, the Orthogonal Subcategory Problem has a positive solution for all classes H of morphisms whose members are, except possibly for a subset, epimorphisms. We prove that under the same assumptions on the base category and on H, the generalization of the Small Object Argument of D. Quillen holds-that is, every object of the category has a cellular H-injective weak reflection. In locally presentable categories, we prove a sharper result: a class of morphisms is called quasi-presentable if for some cardinal λ every member of the class is either λ-presentable or an epimorphism. Both the Orthogonal Subcategory Problem and the Small Object Argument are valid for quasi-presentable classes. Surprisingly, in locally ranked categories (used previously to generalize Quillen's result), this is no longer true: we present a class H of morphisms, all but one being epimorphisms, such that the orthogonality subcategory H ⊥ is not reflective and the injectivity subcategory Inj H is not weakly reflective.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.