1. 概述

于 范畴论 中, 态射的像 在 Abel 范畴 中由“先取余核, 再取核”刻画, 从而推广同态像与线性映射像.

2. 定义

定义 1 (态射的像)

设 为 Abel 范畴 中的态射. 定义 的 态射的像 为其 余核 的 核:

3. 例子

例子 2 (群同态的像)

在 阿贝尔群范畴 中, 像 与通常的 像 一致.

4. 相关性质

命题 3 (像是单态射)

像 到目标对象的典范态射是 单态射.

5. 相关概念

6. 术语翻译

中文英文
像image

范畴论