cocompletions

English

Noun

cocompletions

1. plural of cocompletion
   • 2015, Seerp Roald Koudenburg, “A double-dimensional approach to formal category theory”, in arXiv‎^[1]:

     The main motivation of this paper is the description of conditions ensuring that yoneda embeddings in ${\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-{\mathsf {Alg}}_{(v,w)}$.