Definition. Splitting of an idempotent [mde-1FNG]
Definition. Splitting of an idempotent [mde-1FNG]
The splitting of an idempotent morphism \(e : A \to A\) in a category is both the equalizer and the coequalizer of the diagram
The splitting of an idempotent morphism \(e : A \to A\) in a category is both the equalizer and the coequalizer of the diagram