English

Reflective and coreflective subcategories

Category Theory 2022-10-04 v2

Abstract

Given any additive category C\mathcal{C} with split idempotents, pseudokernels and pseudocokernels, we show that a subcategory B\mathcal{B} is coreflective if, and only if, it is precovering, closed under direct summands and each morphism in B\mathcal{B} has a pseudocokernel in C\mathcal{C} that belongs to B\mathcal{B}. We apply this result and its dual to, among others, preabelian and pretriangulated categories. As a consequence, we show that a subcategory of a preabelian category is coreflective if, and only it, it is precovering and closed under taking cokernels. On the other hand, if C\mathcal{C} is pretriangulated with split idempotents, then a subcategory B\mathcal{B} is coreflective and invariant under the suspension functor if, and only if, it is precovering and closed under taking direct summands and cones. These are extensions of well-known results for AB3 abelian and triangulated categories, respectively. By-side applications of these results allow us: a) To characterize the coreflective subcategories of a given AB3 abelian category which have a set of generators and are themselves abelian, abelian exact or module categories; b) to extend to module categories over arbitrary small preadditive categories a result of Gabriel and De la Pe\~na stating that all fully exact subcategories are bireflective; c) to show that, in any Grothendieck category, the direct limit closure of its subcategory of finitely presented objects is a coreflective subcategory.

Keywords

Cite

@article{arxiv.2109.05111,
  title  = {Reflective and coreflective subcategories},
  author = {Manuel Cortés-Izurdiaga and Septimiu Crivei and Manuel Saorín},
  journal= {arXiv preprint arXiv:2109.05111},
  year   = {2022}
}
R2 v1 2026-06-24T05:52:24.363Z