Cocompletion

Origin

- + co + completion

Full definition of cocompletion

Noun

1. (maths) 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.
• 2015, , Rory B. B. Lucyshyn-Wright, Enriched algebraic theories and monads for a system of arities, We show that $j$ satisfies this condition if and only if $j$ presents $\backslash mathcal\{V\}$ as a free cocompletion of $\backslash mathcal\{J\}$ with respect to the weights for left Kan extensions along $j$, and so we call such systems of arities eleutheric.