Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-119/3/ii/solution

Let split the reflexive pair . Fix , and take objects and arrows with source and target . Since is an additive category, its hom-sets are abelian groups, and composition is additive.
The identity at is . For and , define
Its source is and its target is . The two identity laws follow from and . For , both parenthesizations of the triple composite are , so composition is associative.
Define the inverse by
Its source is and its target is . Moreover and . Thus these data form a groupoid, proving the represented form of reflexive pair in an additive category is an internal groupoid:

New to topics? Read the docs here!