Foundations of Relative Category Theory / 6. Other kinds of fibrations [0012] / 6.1. Cocartesian fibrations [0015] / 6.1.2. Example: Revisiting the canonical self-indexing [002X] / [002Y] Exercise 6.1.2·a. Prove that $\SelfIx{B}$ from [001X] is a cocartesian fibration for any category $B$. Section 6.1.1. The total opposite of a displayed category [0018] Section 6.1.3. Example: The dual self-indexing [0019]