Embedding of a T0 space into a power of the Sierpiński space

ID: embedding-of-a-t0-space-into-a-power-of-the-sierpinski-space

For a T0 space , evaluation against all continuous maps is a homeomorphism onto its image under the map
into a power of the Sierpiński space. The axiom makes it injective, and the coordinate inverse images of recover every open subset of .

New to topics? Read the docs here!