Limit: idempotent splitting

A idempotent splitting is a kind of limit. Given a endomorphism, considered as a diagram in some category, a idempotent splitting is the limit of that endomorphism in that category.

limits: endomorphism, 0, idempotent splitting

This data as json

diagram is_colimit construction
endomorphism 0 idempotent splitting