cocompletion
cocompletion noun: 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.
Noun
cocompletion (plural cocompletions)
- 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.
- 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.2015, Rory B. B. Lucyshyn-Wright, “Enriched algebraic theories and monads for a system of arities”, in arXiv
Forms of cocompletion
| plural | cocompletions |
|---|
Origin of cocompletion
From co- + completion.
Questions about cocompletion
- What does cocompletion mean?
- Cocompletion means 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.
- What part of speech is cocompletion?
- Cocompletion is a noun.
- What is the plural of cocompletion?
- The plural of cocompletion is cocompletions.
Words near cocompletion in the dictionary
Source and license
Adapted from Wiktionary: cocompletion (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “cocompletion.” Word.ws, https://word.ws/cocompletion. Based on Wiktionary, CC BY-SA 4.0.