Cocompletions

Noun

noun plural form

1. Plural of cocompletion
• 2015, , Seerp Roald Koudenburg, A double-dimensional approach to formal category theory, The main motivation of this paper is the description of conditions ensuring that yoneda embeddings in $\backslash mathcal\; K$ lift along these forgetful functors, as well as ensuring that such lifted algebraic yoneda embeddings again define free small cocompletions, now in $T-\backslash mathsf\{Alg\}\_\{(v,\; w)\}$.