Universal Object: idempotent splitting
The idempotent splitting (technically, the idempotent splitting of any endomorphism) is a universal object. By "universal" we mean that, given any category (and any endomorphism in that category), there exists a unique object with its property; any two objects with the property are uniquely isomorphic.
universal_objects: idempotent splitting
This data as json
| construction | qualifier_hr |
|---|---|
| idempotent splitting | endomorphism |