Animated $\lambda$-rings and Frobenius lifts

In this note, we study an integral analogue of animated $\delta$-rings: Animated $\lambda$-rings. We define animated $\lambda$-rings in terms of animated rings equipped with a structure of coherently compatible Frobenius lifts and show that the resulting $\infty$-category is obtained from animating the classical notion of a $\lambda$-ring. Our results build on the theory of animated $\delta$-rings developed by Bhatt and Lurie in the context of prismatic cohomology.