The shape of water: Homotopical algebra and Set functors

In '70 Freyd proved that the homotopy category of spaces is not concrete. We significantly
generalize this result to a vast class of homotopy category of model categories. We outline
further questions related to the subject.