A coreflective subcategory is a full subcategory whose inclusion functor has a right adjoint. The abstract properties are consequently dual to the ones for a reflective subcategory.