No CrossRef data available.
Published online by Cambridge University Press: 20 November 2018
Let be a full subcategory of a category
is said to be coreflective in
if for each object X in
there exists an object
X in
and a morphism
such that for each object P in
and each morphism f : P ⟶ X there exists a unique morphism
such that
.