Remark [efr-004C]
Remark [efr-004C]
\mathcal {D} \to \mathcal {C} is a Markov fibration if and only if \mathcal {D} \times _\mathcal {C} \mathcal {C}_\mathrm {det} \to \mathcal {C}_\mathrm {det} is a fibration and each representable copresheaf \mathcal {D}(X,-) is complete in the sense of Definition [efr-001I].