在代数中，同态的余象是域和核的 商:根据第一同构定理，余象自然同构于像，如果该定理适用。更一般地，在范畴论，态射的余象是态射的像的对偶表示。如果"f" : "X" → "Y"，则"f"的余象(如果存在的话)是满同态 "c" : "X" → "C"使得
参考文献.Mitchell，Barry (1965)，Theory of categories，Pure and applied mathematics，17，Academic Press，ISBN 978-0-124-