Cartesian fibrations via opposites

Remark 23.1.9. Note that a functor \(p\colon E \to C\) is a cartesian fibration if and only if its opposite \(p\catop \colon E\catop \to C\catop \) is a cocartesian fibration. All properties about cocartesian fibrations have dual analogues for cartesian fibrations; we will generally not spell these out explicitly.