Meaning of cocompletion | Babel Free
Definitions
A full embedding whose image is a cocomplete category and for which every functor with a cocomplete image has an extension to a cocontinuous functor that is unique up to natural isomorphism.
Examples
“We show that j satisfies this condition if and only if j presents #92;mathcal#123;V#125; as a free cocompletion of #92;mathcal#123;J#125; with respect to the weights for left Kan extensions along j, and so we call such systems of arities eleutheric.”
CEFR level
C1
Advanced
This word is part of the CEFR C1 vocabulary — advanced level.
This word is part of the CEFR C1 vocabulary — advanced level.
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free