cocompletion.
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.
Meaning & usage
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.
Where this word comes from
From co- + completion.
Try it on your idea.
cocompletion has 12 characters. Say it out loud, try it alongside a description of your project, and see whether its meaning fits what you want to create.
These are naming prompts. Meanings and pronunciation can vary; existing brand and domain uses have not been checked.
Explore the name generatorA word with a source.
Definitions, grammatical labels, IPA, etymology and examples: Wiktionary contributors, extracted by Kaikki / Wiktextract. Adapted under CC BY-SA 4.0. Selected fields and authored examples are shown; third-party quotations and audio are omitted. See contributor history.
Last enriched 2026-09-10. Definitions are in English. Romanizations are shown when supplied by the source; syllable estimates are omitted for unsupported scripts.