¿Alguien conoce una buena referencia para una prueba del hecho de que dado un dga $A$ , an $A_\infty$ -estructura en $HA$ es ''igual'' que las opciones coherentes para todos los productos de Massey superiores de $HA$ ? Más concretamente el hecho que busco es algo como lo siguiente.
Al definir el producto Massey $\langle x_1,\dots, x_n\rangle$ hay que tomar múltiples decisiones no canónicas, que a su vez dan lugar a múltiples ciclos que podrían llamarse el Massey producto de $x_1,\dots, x_n$ . Si $M(x_1,\dots, x_n)$ es el conjunto de todos los posibles productos de Massey resultantes de $x_1,\dots, x_n$ y $\mu_n$ es el $n$ -th $A_\infty$ mapa de estructura (en $HA$ ), entonces $$\mu_n(x_1\otimes\cdots\otimes x_n)\in M(x_1,\dots, x_n)$$ para todos $n$ y $x_i$ .
