Idempotent

In category theory, an idempotent is a morphism $f$ for which $f^2=f$.[cite:@maclane2000categories]

Inbox

• An idempotent $f$ is said to split when there exist arrows $g$ and $h$ such that $f=hg$ and $gh=1$.