cocompletions

C3O1C3O1M3P3L1E1T1I1O1N1S1

A form of 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.

Scrabble 21

Meanings

noun
  1. pluralplural of cocompletion
    1 more example

    The main motivation of this paper is the description of conditions ensuring that yoneda embeddings in #92;mathcalK lift along these forgetful functors, as well as ensuring that such lifted algebraic yoneda embeddings again define free small cocompletions, now in T-#92;mathsf#123;Alg#125;#95;#123;(v,w)#125;.

    2015, Seerp Roald Koudenburg, “A double-dimensional approach to formal category theory”, in arXiv
Cite this entry
APA

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

MLA

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

Chicago

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

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