A Congruence 𝒦 ⊆ ℰ 𝒦 ℰ \mathcal{K}\subseteq\mathcal{E} in an Infinity Topos ℰ ℰ \mathcal{E} is monogenic if it is generated by a class of Monomorphisms.