Topological rigidification of schemes

We show that any of a large class of schemes receives a universal homeomorphism from a reduced scheme that in turn receives no nontrivial universal homeomorphism from any other reduced scheme. This construction serves as a categorical input for the formal inversion of universal homeomorphisms; the result is an infinity-category that embeds as a full subcategory of the h infinity-topos of Voevodsky.