(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..
예문
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.
현재 검증된 한국어 뜻은 준비 중이며 영어 정의는 “(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.”입니다.
cocompletion의 동의어는 무엇인가요?
문장 속 의미에 따라 가까운 동의어가 달라집니다.
cocompletion의 반의어는 무엇인가요?
정확한 반대말은 사용된 의미에 따라 달라집니다.
cocompletion를 문장에서 어떻게 쓰나요?
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.