cocompletions
English
editNoun
editcocompletions
- 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 lift along these forgetful functors, as well as ensuring that such lifted algebraic yoneda embeddings again define free small cocompletions, now in .