  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.
