Remark 93.16.3. If the morphism $f : \mathcal{S}_ U \to \mathcal{X}$ of Lemma 93.16.2 is only assumed surjective, flat and locally of finite presentation, then it will still be the case that $f_{can} : [U/R] \to \mathcal{X}$ is an equivalence. In this case the morphisms $s$, $t$ will be flat and locally of finite presentation, but of course not smooth in general.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).