中文
Sign in
AI tools
热门问题
时间线
聊天
视角
Loading AI tools
全部
文章
字典
引用
地图
coequalizer
来自维基百科,自由的百科全书
Found in articles
等化子
} 表示範疇論核(英语:kernel (category theory))。 若範疇有拉回(纖維積)及積,則有等化子。 餘等化子(英语:
Coequalizer
),等化子的對偶(英语:dual (category theory))概念,將定義中所有態射的方向反轉而得。 重合理論(英语:Coincidence
极限 (范畴论)
核(kernel)與餘核(cokernel,又譯上核),有時也稱等化子(equalizer)與餘等化子(
coequalizer
)。考慮對應到 X 0 ⇉ g f X 1 {\displaystyle X_{0}{\overset {f}{\underset {g}{\rightrightarrows
單子 (範疇論)
中的同構; C {\displaystyle {\mathcal {C}}} 有餘等化子(英语:
coequalizer
); G {\displaystyle G} 保餘等化子(英语:
coequalizer
); 則 G {\displaystyle G} 為單子的。 例如,由緊豪斯多夫空间範疇 C H
范畴论
極限 終對象 積 等化子 核(英语:Kernel (category theory)) 拉回 逆極限(英语:Inverse limit) 餘極限 始對象 餘積(英语:Coproduct) 餘等化子(英语:
Coequalizer
) 餘核 推出 正極限(英语:Direct limit)
範疇 (數學)
極限 終對象 積 等化子 核(英语:Kernel (category theory)) 拉回 逆極限(英语:Inverse limit) 餘極限 始對象 餘積(英语:Coproduct) 餘等化子(英语:
Coequalizer
) 餘核 推出 正極限(英语:Direct limit)