Proof.  [#249]

(1 \(\to \) 2) A morphism \((\alpha _1, \alpha _2) : q \to F_t(r)\) in the base \(\mathbb {D}_t\) amounts to a commuting square in \(\mathbb {D}\) that provides a factorization \(F_t(r) = \alpha _1;q;\alpha _2\). Using the ULF property (twice or in unbiased form), one obtains a unique lift of \((\alpha _1,\alpha _2)\).

(2 \(\to \) 1) Considering a factorization in \(\mathbb {D}\) as a morphism in \(\mathbb {D}\) into an identity, and one obtains a unique lift that is a lifting of factorizations by ULF functors have discrete fibres.