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 mapinto 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!