
上包络
在数学的范畴论中,coenvelope(余包络) 是envelope(包络) 概念的对偶形式。其核心定义与应用如下:
对偶性:若范畴 $mathcal{C}$ 中对象 $A$ 的包络 是一个态射 $A to E$(其中 $E$ 具有特定泛性质,如内射性),则其余包络 是包络在对偶范畴 $mathcal{C}^{text{op}}$ 中的对应概念,表现为态射 $Q to A$($Q$ 具有对偶性质,如投射性)。
数学表述:
$$ begin{align} text{包络:} & quad A rightarrow E quad (text{如内射包络}) text{余包络:} & quad Q rightarrow A quad (text{如投射余包络}) end{align} $$
泛性质:余包络态射 $Q to A$ 需满足:对任意具有相同性质(如投射性)的态射 $Q' to A$,存在唯一态射 $Q' to Q$ 使下图交换:
$$ require{AMScd} begin{CD} Q' @>>> Q @VVV @VVV A @= A end{CD} $$
在同调代数中,投射余包络(projective coenvelope) 是内射包络的对偶概念。例如在 $R$-模范畴中:
余包络的存在依赖范畴性质。若范畴有足够投射对象,则部分对象存在投射余包络。其意义在于通过对偶性统一处理同调构造,如导出函子与分解理论。
权威参考来源:
“coenvelope”并非标准英语词汇,可能为拼写错误或专业术语的罕见用法。以下是相关分析及建议:
可能的拼写混淆
专业领域推测
建议
可通过以下来源进一步验证:爱词霸词典或星火网校中的权威解释。
【别人正在浏览】