cocompletion (English, noun)
expansion: cocompletion (plural cocompletions)
Senses:
topics: mathematics
sciences
glosses: A full embedding whose image is a cocomplete category and for which every functor with a cocomplete image has an extension to a cocontinuous functor that is unique up to natural isomorphism.
Forms:
form: cocompletions
tags: plural