nLab
idempotents - contents

idempotent,

• split idempotent, retract

completion

• idempotent complete category, Cauchy complete category, idempotent complete (∞,1)-category

• Karoubi envelope, Cauchy completion

Examples

• projector

• idempotent monad, idempotent adjunction