加载中…
We introduce the notion of -descendability as well as a derived variant. We prove that several classes of descendable maps of commutative rings are -descendable. As an application, we prove a variant of Tannaka duality.

生成讲解博客的中文版本

生成AI智能校验的中文版本