Fppf-descent for condensed animated rings

Abstract

In this paper, we define "animated affinoid algebras" and prove some basic properties of them. Then we generalize the result of the previous paper of the author and the result of Lucas Mann (fppf-descent for discrete rings or affinoid algebras) to discrete animated rings or animated affinoid algebras.