Idempotent Arrow

An arrow $e:a\to a$ is idempotent iff $e\circ e=e$.

Remarks

Identity Arrow are always idempotent.