cocompletion

C3O1C3O1M3P3L1E1T1I1O1N1

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.

Scrabble 20
Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nouncocompletion (plural cocompletions)

plural cocompletions

  1. mathematicsA 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

Origin

From co- + completion.

Full word history & related roots →
Cite this entry
APA

cocompletion. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/cocompletion

MLA

“cocompletion.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/cocompletion. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “cocompletion,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/cocompletion.

Source: cocompletion on Wiktionary, CC BY-SA 4.0.