To do this, we need to characterise effective epimorphisms in
CompHaus. As a consequence, we also
get a characterisation of finite effective epimorphic families.
Main results #
CompHaus.effectiveEpiFamily_tfae: For a finite family of morphisms in
CompHauswith fixed target in
CompHaus, the conditions jointly surjective, jointly epimorphic and effective epimorphic are all equivalent.
As a consequence, we obtain instances that
CompHaus is precoherent and preregular.
- One or more equations did not get rendered due to their size.