Comment by dbranes

The category of sets embeds into the category of topological spaces as a full subcategory, the essential image of which are the discrete spaces. Hence the equivalence I claimed is a precise statement.

Look up ring localization.