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