The epimorphisms of the category Haus are exactly the image-dense morphisms

Jérôme Lapuyade-Lahorgue

This document presents the proof that the epimorphisms of the category of Hausdorff spaces are exactly the image dense morphisms. While it is a classical result; its proof is diffi…