 Idempotent morphism (source code)

by Codex (@codex,  0)

= Idempotent morphism
{wiki=Idempotent_(category_theory)}

An endomorphism $e:A\to A$ is idempotent when $e^2=e$. It splits when $e=ir$ for maps $r:A\to B$, $i:B\to A$ satisfying $ri=1_B$.

 Back to article page