We examine Hopf cyclic cohomology in the same context as the analysis [1,2,3] of the geometry of loop spaces LX in derived algebraic geometry and the resulting close relationship between S 1 -equivariant quasi-coherent sheaves on LX and D X -modules. Furthermore, the Hopf setting serves as a toy case for the categorification of Chern character theory as discussed in [20]. More precisely, this examination naturally leads to a definition of mixed anti-Yetter-Drinfeld contramodules which reduces to that of the usual mixed complexes for the trivial Hopf algebra and generalizes the notion of stable anti-Yetter-Drinfeld contramodules that have thus far served as the coefficients for Hopf-cyclic theories [4]. The cohomology is then obtained as a Hom in this dgcategory between a Chern character object associated to an algebra and an arbitrary coefficient mixed anti-Yetter-Drinfeld contramodule.