cocompletion
cocompletion · cocompletions
A full embedding whose image is a cocomplete category and for which every functor with…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.
Значение
значений: 1A 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.
Происхождение
From co- + completion.From co- + completion.
Wiktionary, CC BY-SA 4.0 · source
Формы
мн. число: cocompletions| Ед. число | cocompletion |
|---|---|
| Мн. число | cocompletions |
правильный