Theorem 6.136. (Makkai completeness) The \(2\)-functor \[\Topos^{\coh,\flat} \longrightarrow \Cat^{\ultra}, \qquad T \longmapsto \Pt(T),\] is fully faithful.