1: \begin{abstract}

2: This paper is an extended version of my talk given in Z\"{u}rich

3: during the Conference ``Quantization and Geometry'', March 2-6,

4: 2009. The main results are the following.

5: 

6: 1. We construct a 2-fold monoidal structure [BFSV] on the category

7: $\Tetra(A)$ of tetramodules (also known as Hopf bimodules) over an

8: associative bialgebra $A$. According to an earlier result of

9: R.Taillefer [Tai1,2], $\Ext^\mb_{\Tetra(A)}(A,A)$ is equal to the

10: Gerstenhaber-Schack cohomology [GS] of $A$, which governs the

11: infinitesimal deformations of the bialgebra structure on $A$.

12: 

13: 2. Given an $n$-fold monoidal abelian category $\mathcal{C}$ with a common

14: unit object $A$ and some mild property (*) formulated in the paper,

15: we consider the graded vector space

16: $W^\mb=\Ext^\mb_\mathcal{C}(A,A)$. We prove that $W^\mb$ has a

17: natural $(n+1)$-algebra structure whose product is the Yoneda

18: product. As a conclusion, the Gerstenhaber-Schack cohomology of any

19: Hopf algebra $A$ is a 3-algebra.

20: 

21: 3. We find an operad of $\mathbb{Z}$-modules which acts on the

22: Hochschild cohomology of any associative $\mathbb{Z}$-algebra $A$ flat

23: over $\mathbb{Z}$. The $k$-th component of

24: this operad is the graded space $\oplus_i\pi^{stab}_{-i}(D^2_k)$ of stable homotopy groups of the

25: space $D_k^2$, the $k$-th component of the little disks operad. We

26: establish as well an $n$-monoidal version of this result.

27: 

28: 4. We define a contravariant functor from the homotopical category of topological spaces with values in graded vector spaces, depending on an $n$-fold monoidal category (``Hochschild cohomology depending on topological space''). In particular, such a functor is assigned to any associative algebra, any bialgebra, etc.

29: \end{abstract}

30: