A reflective subcategory of
has a left Adjoint. Note that this Adjunction is necessarily a Reflection, as inclusions are always Faithfull.
A reflective subcategory of
has a left Adjoint. Note that this Adjunction is necessarily a Reflection, as inclusions are always Faithfull.