Remark 109.71.5. Proposition 109.71.4 contradicts [Theorem 1.1, AokiHomStacks]. The problem is the non-effectivity of formal objects for $\underline{\mathop{\mathrm{Mor}}\nolimits }_ S(X, [S/A])$. The same problem is mentioned in the Erratum to . Unfortunately, the Erratum goes on to assert that $\underline{\mathop{\mathrm{Mor}}\nolimits }_ S(\mathcal{Y}, \mathcal{Z})$ is algebraic if $\mathcal{Z}$ is separated, which also contradicts Proposition 109.71.4 as $[S/A]$ is separated.

Comment #4617 by Zhang on

"the assert" should be "to assert".

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).