1: \begin{definition}\label{def:cyc2}

2:     Let $A$ be an $A_{\infty}$-algebra. We call an $A_{\infty}$-bimodule map $\phi:A \rightarrow A^*$ a

3:     {\textbf{strong homotopy inner product}} if it is

4:     skew-symmetric, closed and homologically non-degenerate as in Theorem \ref{thm:shi}.

5: 

6:     And $A$ is called \textbf{homotopy cyclic $\AI$-algebra}, if there exists a strong homotopy inner product of $A$.

7: \end{definition}

8: