Cocompletion
noun
noun ·Rare ·Advanced level
Definitions
Noun
- 1 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.
"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."
Example
More examples"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."
Etymology
From co- + completion.
More for "cocompletion"
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.