Foundations of Relative Category Theory / 6. Other kinds of fibrations [0012] / 6.2. Right fibrations [0013] / [001O] Definition 6.2·a. A cartesian fibration $E$ over $B$ is said to be a right fibration when all displayed morphisms in $E$ are cartesian. Section 6.1. Cocartesian fibrations [0015] Theorem 6.2·b. Characterization of right fibrations [001P]