Full Subcategory: Haus ⊊ Top

Haus is a full subcategory of Top. When any two topological spaces of Top are Hausdorff (T₂) spaces in Haus, all continuous maps between them are continuous maps in Haus too. Put another way, Haus has only some of the objects of Top, but all of the arrows.

In terms of stuff, structure, and properties, Hausdorff (T₂) spaces are like topological spaces but with extra properties.

full_subcategories: Haus, Top

This data as json