Let $X$ be a topological space, and $Homeo(X)$ the group of self-homeomorphisms of $X$. 


(1) What is the exact meaning of: $H^\*(X)$ is a an $A\_\infty$-module over $Homeo(X)$?


(2) Does $H\_\*(X)$ also have an $A\_\infty$-module structure? Is it the same as that of $H^\*(X)$?


Added later:
Jeff Giansiracusa gave a nice answer to (1). But his answer uses the ring structure in cohomology, leaving (2) open: Is there an $A\_\infty$ structure on homology as well?



$A_{\infty}$ structure of (co)homology of a space
Your category $X^X$ is just the group of homeomorphisms of $X$. This group certainly acts on the homology and cohomology, making them strict modules. But since the group of homeomorphisms is actually acting on $X$, it gives automorphisms of the rational homotopy type. The rational homotopy type of $X$ can be encoded in an $A\_\infty$ algebra structure on the rational cohomology ring (technically, it is a $C\_\infty$ structure, which is a special kind of $A\_\infty$ structure). Thus the group of homeomorphisms of $X$ gives homotopy self-equivalences of the $A\_\infty$ algebra $H^\*(X)$. That is, a homeomorphism $\phi: X \to X$ gives an $A\_\infty$ map $H^\*(X) \to H^\*(X)$ that is an equivalence. Note that such a map contains potentially more information than simply an automorphism of $H^\*(X)$ as an ordinary ring.


