Skip to main content
1 of 2
Connor Malin
  • 5.9k
  • 1
  • 14
  • 38

No, take $Z$ a connected space which is not a loop space, and $f=g=\mathrm{Id}_Z$. Then you are asking if the multiplication $\Omega Z \times \Omega Z \rightarrow \Omega Z$ is an $A_\infty$-map. If it were an $A_\infty$ map, we could apply the bar construction to achieve a map $B(\Omega Z \times \Omega Z)=B\Omega Z \times B\Omega Z \rightarrow B \Omega Z$ which is an $A_\infty$ multiplication. Since $Z$ is connected $B\Omega Z \simeq Z$, so we have produced an $A_\infty$ multiplication on $Z$. However, an $A_\infty$ multiplication on $Z$ implies it is a loop space, which contradicts our assumption.

Connor Malin
  • 5.9k
  • 1
  • 14
  • 38