Limits in a reflective subcategory

ID: limits-in-a-reflective-subcategory

If a full subcategory is reflective in a complete category, it is complete. For an ambient limit of a diagram of reflected objects, the reflection unit is invertible by the hom-set characterization of reflected objects. Thus is an internal categorical limit. If the subcategory is replete, itself belongs to it. The reflector need not preserve arbitrary limits.

New to topics? Read the docs here!