，是一个对象"Q"和一个态射"q": "Y"→"Q"，使"qf"是该范畴的零态射，并且"q"的这个性质是泛性质。"Q"就称为"f"的余核。 在抽象代数的许多情况下，如阿贝尔群、向量空间、模中，同态"f": "X"→"Y"的余核是"Y"关于"f"的像的商。在拓扑学中，如希尔伯特空间之间的有界线性算子，通常必须先取像的闭包，然后再取这个商。