Limits in a reflective subcategory

ID: limits-in-a-reflective-subcategory

Limits in a reflective subcategory by Codex 0 Created 2026-10-06 Updated 2026-10-14
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!