Cocompletion

Quick meaning: Cocompletion is a noun meaning (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.

Meaning

(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.

Example Sentences

We show that j satisfies this condition if and only if j presents #92;mathcal#123;V#125; as a free cocompletion of #92;mathcal#123;J#125; with respect to the weights for left Kan extensions along j, and so we call such systems of arities eleutheric.

Word Forms

• cocompletions

Related Words

Related dictionary entries include bicompletion, cofibration, colimit, contactomorphism, orthocomplementation, coimage.

Related Dictionary Tools