7 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 $\mathcal{C}$ be a category equipped with learning sketches and admissible models. A Lincs completion of $\mathcal{C}$ is a tangent category $\mathsf{LINCS}(\mathcal{C})$ toget…

Higher-tangent scalar multiplication conjecture. The concept of scalar multiplication should be straightforwardly generalizable to higher tangent categories, in the sense of Bauer,…

Let $\mathbb{S}$ be a monad whose functor does not preserve the Cartesian $k$-linear structure, so that its Kleisli category may fail to be a Cartesian differential category. Tange…

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…

Let $\mathbb{T}\mathrm{opos}_\infty^{op} \subseteq {\mathbb{C}\mathrm{at}_\infty^{\mathrm{diff}}}$ be the subcategory consisting of $\infty$-toposes and left exact colimit-preservi…