cocompletion
English
editEtymology
editFrom co- + completion.
Noun
editcocompletion (plural cocompletions)
- (mathematics) 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”, in arXiv[1]:
- We show that satisfies this condition if and only if presents as a free cocompletion of with respect to the weights for left Kan extensions along , and so we call such systems of arities eleutheric.