Reflector
= 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.
= 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.