cocompletions
Jump to navigation
Jump to search
English
[edit]Noun
[edit]cocompletions
- 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 .