Reflective Subcategory
A reflective subcategory of a Category is a category equipped with a Fully Faithful Functor that has a Left Adjoint .
Examples
- The canonical example of a reflective subcategory is , where the left adjoint arises from Abelianization.