Solution

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

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!