等化子
范畴论概念
等化子是范畴论的一个概念。
定义
令范畴J=有两个对象与两个从第一个对象到第二个对象的非单位态射，即。函子范畴CJ的对象:b→a的等化子为从Δ到的泛态射。
相关概念
若J的其中一个态射为零态射，则等化子称为核。
具体构造
给定f,g:b→a为范畴C的态射，则的等化子为态射e:d→b(或对)，满足fh=gh且若对h:c→b有fh=gh，则存在唯一态射h':c→d，使得h=eh'。
参考资料
最新修订时间：2024-05-21 17:02
条目作者
小编
目录
概述
定义
相关概念
具体构造
参考资料

Copyright©2024 闽ICP备2024072939号-1