Full Subcategory: SoberTop ⊊ Top

SoberTop is a full subcategory of Top. When any two topological spaces of Top are sober topological spaces in SoberTop, all continuous maps between them are continuous maps in SoberTop too. Put another way, SoberTop has only some of the objects of Top, but all of the arrows.

In terms of stuff, structure, and properties, sober topological spaces are like topological spaces but with extra properties.

full_subcategories: SoberTop, Top

This data as json