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 .