Foundations of Relative Category Theory / 2. Displayed categories and fibrations [0008] / 2.1. The canonical self-indexing [0003] / [001Y] Exercise 2.1·b. Prove that $\SelfIx{B}$ from [001X] is a cartesian fibration if and only if $B$ has pullbacks. Construction 2.1·a. The canonical self-indexing [001X] Section 2.2. The generalized pullback lemma [0014] Referrers Remark 2.3·d. Two ways to generalize pullbacks [002D] Section 6.1.2. Example: Revisiting the canonical self-indexing [002X]