Remark 6.127.
In a local pretopos, we have the factorization system (effective epi, mono). Also the factorization system (\(n\)-connected, \(n\)-truncated) exists, but this is less obvious. It amounts to showing that \(n\)-truncation exists.
Remark 6.127.
In a local pretopos, we have the factorization system (effective epi, mono). Also the factorization system (\(n\)-connected, \(n\)-truncated) exists, but this is less obvious. It amounts to showing that \(n\)-truncation exists.