Remark 5.55.
If \(L\) is an acyclic class, it follows from Lemma 5.52 that \(\im(L) = L \cap \Mono\) and \(\coim(L) = L \cap \EffEpi\).
Higher Topos Theory Section 5.5: Structure theory for topoi
Remark 5.55.
If \(L\) is an acyclic class, it follows from Lemma 5.52 that \(\im(L) = L \cap \Mono\) and \(\coim(L) = L \cap \EffEpi\).