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