Remark 5.58.
By definition, a monogenic congruence \(K\) is completely determined by the class of monomorphisms \(K \cap \Mono\). The classes of monomorphisms in \(T\) arising this way are precisely the Grothendieck topologies on \(T\), see Proposition 6.9.