Definitions from Wiktionary (cocompletion)
▸ noun: (mathematics) 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.
▸ Words similar to cocompletion
▸ Usage examples for cocompletion
▸ Idioms related to cocompletion
▸ Wikipedia articles (New!)
▸ Popular adjectives describing cocompletion
▸ Words that often appear near cocompletion
▸ Rhymes of cocompletion
▸ Invented words related to cocompletion
▸ noun: (mathematics) 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.
Similar:
bicompletion,
cofibration,
μ-completion,
colimit,
contactomorphism,
comma category,
orthocomplementation,
coimage,
full functor,
bicategory,
more...
▸ Words similar to cocompletion
▸ Usage examples for cocompletion
▸ Idioms related to cocompletion
▸ Wikipedia articles (New!)
▸ Popular adjectives describing cocompletion
▸ Words that often appear near cocompletion
▸ Rhymes of cocompletion
▸ Invented words related to cocompletion