Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-119/4/b/i/solution

Assume the free functor reflects isomorphisms. If satisfy , let be their coequalizer in sets. As a left adjoint, preserves it. Since the coequalizer of an equal pair is an identity, is an isomorphism. Reflection makes an isomorphism, so . Thus is faithful.

New to topics? Read the docs here!