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