Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-119/1/b/solution
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 119 1 b Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
Let be a discrete fibration and let be monic in . If satisfy , lift uniquely to with codomain . The composites are lifts of the same arrow with codomain , so uniqueness gives equality. Since is monic, , hence . Thus is monic.
Use the convention that has objects . Its forgetful functor sends to . Given , the unique arrow above with codomain has domain . Hence the forgetful functor is a discrete fibration.
New to topics? Read the docs here!