Cocompletion
Jump to navigation
Jump to search
English
Etymology
From Template:Prefix.
Noun
- Template:Lb 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.