4 problems

The theorem concerns a morphism of $k$-analytic stacks whose diagonal is assumed to be unramified in the stated result. Properness conjecture. The theorem that this morphism is pro…

Let $\bbS^{\widehat{\calN}}$ be the stack of one-dimensional commutative formal groups with a section, and let…

Condensed and bornological geometry model conjecture. The models of geometry in condensed mathematics, such as analytic stacks, and the models of geometry based on bornological rin…

Transitivity conjecture. If $X \Subset_S Y$ and $Y \Subset_S Z$, then