1. 概述 于 范畴论 中, 等化子 泛化两个 并行态射 取值相等的子对象. 它以所有使两条态射相等的映入态射中的终极选择来刻画. 2. 定义 定义 1 (等化子) 设 为 并行态射. 称态射 为 的 等化子, 当 , 且对任意满足 的态射 , 存在唯一态射 使下图交换： 3. 例子 例子 2 (集合范畴中的等化子) 在 集合范畴 中, 的 等化子 是子集 的包含映射 . 4. 相关性质 命题 3 (等化子是单态射) 每个 等化子 都是 单同态. 证明 4 (等化子是单态射) 若 , 则 等化 . 由 等化子 的唯一分解, . 5. 相关概念 余等化子； 极限. 6. 术语翻译 中文英文等化子equalizer 范畴论
