Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-119/4/b/i/solution
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 119 4 b i Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
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!