in mathematics, a full subcategory "a" of a category "b" is said to be reflective in "b" when the inclusion functor from "a" to "b" has a left adjoint. this adjoint is sometimes called a "reflector", or "localization". dually, "a" is said to be coreflective in "b" when the inclusion functor has a right adjoint.