cocompletion
Hello, you have come here looking for the meaning of the word cocompletion. In DICTIOUS you will not only get to know all the dictionary meanings for the word cocompletion, but we will also tell you about its etymology, its characteristics and you will know how to say cocompletion in singular and plural. Everything you need to know about the word cocompletion you have here. The definition of the word cocompletion will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofcocompletion, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Etymology
From co- + completion.
Noun
cocompletion (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:
- 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.
