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.

Articles by others on the same topic (0)

There are currently no matching articles.