CW-complex, Hausdorff space, second-countable space, sober space
connected space, locally connected space, contractible space, locally contractible space
Given a topological space , the open subspaces of form a poset which is in fact a frame. This is the frame of open subspaces of . When thought of as a locale, this is the topological locale . When thought of as a category, this is the category of open subsets of .
Similarly, given a locale , the open subspaces of form a poset which is in fact a frame. This is the frame of open subspaces of . When thought of as a locale, this is simply all over again. When thought of as a category, this is a site whose topos of sheaves is a localic topos.