3 problems

Let $\mathsf{T}_{\mathsf{INC}}$ denote the tangent endofunctor on $\mathsf{INC}(\mathcal{C})$, and suppose either preceding existence theorem applies, so that the universal Lincs c…

Let $\operatorname{\mathfrak{X}}=(X_i)_{i\in I}$ be a formal scheme over a base scheme $S$, presented as an inductive system of schemes. Suppose that every morphism appearing in th…

Let $\operatorname{\mathfrak{X}}$ and $\operatorname{\mathfrak{Y}}$ be formal schemes over a base scheme $S$, and let…