余像

数学の代数学において、ある種の代数系における準同型写像
の余像（よぞう、）とは、定義域と核の
のことを言う。その代数系において第一同型定理が成り立つならば、定理に言うところの同型写像
によって余像と像とは自然同型（canonical isomorphism）である。
より一般に、圏論において、射の余像とは射の像の双対概念である。"f" : "X" → "Y" とするとき、"f" の余像は（存在するならば）次を満たす全射 "c" : "X" → "C" を言う：