Giraud subcategory
reflective subcategory of a Grothendieck category, such that the left adjoint of the inclusion functor preserves kernels
reflective subcategory of a Grothendieck category, such that the left adjoint of the inclusion functor preserves kernels