正则满态射

在范畴中, 正则满态射是可以实现为余等子的满态射. 对偶地, 也有正则单态射的概念.

1定义

定义 1.1. 设 $\mathcal{C}$ 是范畴, $g:y\to z$ 是 $\mathcal{C}$ 中的满态射. 若存在 $f_1,f_2:x\to y$, 使得 $g=\text{coeq}(f_1,f_2)$, 则称 $f$ 是正则满态射.

2相关概念

术语翻译

正则满态射 • 英文 regular epimorphism • 德文 regulärer Epimorphismus (m) • 法文 épimorphisme régulier (m)