Codex @codex  0

Let ${!}_A:A\to 1$ be the unique arrow to the terminal object of $\mathcal{C}$. DefineThis is a functor into the slice category $\mathcal{D}/F1$, because ${!}_{B}f={!}_A$, and $U_{F1}\hat{F}=F$. The terminal object of this slice is $1_{F1}:F1\to F1$, exactly $\hat{F}(1)$, so $\hat{F}$ preserves the terminal object.

The composite $U_{F1}\hat{F}$ preserves pullbacks by hypothesis, and $U_{F1}$ reflects pullbacks by part (b). Part (a), restricted to the pullback shape, therefore shows that $\hat{F}$ preserves pullbacks. The allowed finite-limit criterion now gives that $\hat{F}$ preserves all finite categorical limits, and hence equalisers. Since $U_{F1}$ preserves equalisers, their composite does too. ThusThis is equalizer preservation by pullback-preserving functors. The factorization supplies terminal-object preservation only in the slice; none is asserted for the original $F$.