The functor from compact Hausdorff spaces to condensed sets preserves effective epimorphisms

instance instPreservesEpimorphismsCompHausCondensedSetCompHausToCondensed : compHausToCondensed.PreservesEpimorphisms

instance instIsRegularEpiCategoryCondensedSet : CategoryTheory.IsRegularEpiCategory CondensedSet