态射像(image of a morphism)群论中同态像概念在阿贝尔范畴中的推广.由阿贝尔范畴的定义可知:加性范畴留为阿贝尔范畴的充分必要条件是对任一态射aEHom(A,B),都有如下的可换图,其中,表满态射,表单态射,对阿贝尔范畴留,这里的(C,帕称为a的像,记为Im a = (C,帕,有时也称甲为a的像,记为Ima=r}.若留为群范畴,在同构意义下,C就是群同态a的像,也就是说,(C,帕为a的像.可对偶地定义态射的上像.对一般的范畴留可如下定义留中态射.f : X->Y的像:若有Y的子对象Y'与单态射g:Y'->Y,,使有态射二:X ->Y'满...