Report on -descendability
arXiv:2508.13089
Abstract
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.
comments welcome