有效满态射

1定义

定义 1.1. 在一个范畴 $\mathcal{C}$ 中, 一个满态射 $f:c\to d$ 是一个 有效满态射, 若 $c{\times }_{d}c$ 存在, 且$$f=\text{coeq}(c{\times }_{d}c\rightrightarrows c).$$换句话说, 下面的拉回$$c{\times }_{d}cccd$$存在, 且同时也是推出.

2相关概念

术语翻译

有效满态射 • 英文 effective epimorphism • 法文 épimorphisme effectif (m)