Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-18/2/b/solution
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 18 2 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
A split coequalizer consists of , , and with , , and . If , then . Thus factors through , and the factor is unique because has the right inverse . This proves the coequalizer property directly. Every functor preserves the diagram, since all these equations are preserved.
For idempotent splitting through a coequalizer, first suppose with . Then . Any satisfying factors as , uniquely since is a split epimorphism. Hence coequalizes .
Conversely, let coequalize . Since , the arrow itself equalizes the pair, so there is a unique with . Then , and every coequalizer is an epimorphism, so . Thus is a splitting of an idempotent morphism.
New to topics? Read the docs here!