cocompletions

cocompletions

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

     The main motivation of this paper is the description of conditions ensuring that yoneda embeddings in ${\displaystyle {\mathcal {K}}}$ lift along these forgetful functors, as well as ensuring that such lifted algebraic yoneda embeddings again define free small cocompletions, now in ${\displaystyle T-{\mathsf {Alg}}_{(v,w)}}$.