Notions of subcategory
Modalities, Closure and Reflection
A coreflective subcategory is a full subcategory whose inclusion functor has a right adjoint (a cofree functor):
The dual concept is that of a reflective subcategory. See there for more details.
This is (AdamekRosicky, theorem 6.28).
- Robert El Bashir, Jiri Velebil, Simultaneously Reflective And Coreflective Subcategories of Presheaves (TAC)
Revised on December 4, 2013 23:21:48
by David Corfield