Colimit: idempotent splitting

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

limits: endomorphism, 1, idempotent splitting

This data as json