Is the category of sheaves the stackification of the constant functor at the category of sets?
a Schelling point for those who seek one
