Remark 4.3.

By Lemma 3.8, every morphism of logoi preserves \(n\)-truncated objects and commutes with \(n\)-truncations for all \(n\).