 Reflector

The reflector of a reflective subcategory is the left adjoint $L$ to its inclusion. Its unit ${\eta }_A:A\to LA$ is universal among morphisms from $A$ to objects of the subcategory.