We prove that any scheme S can be reconstructed functorially from the slice category Sch/S. We also show that every  auto-equivalence of the category of schemes is isomorphic to the identity. This removes all Noetherian and finite type hypotheses from  an earlier result of Mochizuki and completes a related result for rings due to Clark and Bergman (1973).