Open-closed homotopy algebras and strong homotopy Leibniz pairs through Koszul operad theory (Q692869)

The notion of open-closed homotopy algebras and strong homotopy Leibniz pairs were introduced by \textit{H. Kajiura} and \textit{J. Stasheff} [J. Math. Phys. 47, No. 2, 023506, 28 p. (2006; Zbl 1111.81141)]. It was known that a strong homotopy Leibniz pair is equivalent to an algebra over the minimal model of a certain operad. The paper presents a detailed characterization of such operads by showing that both open-closed homotopy algebras and strong homotopy Leibniz pairs are algebras over the minimal model of the zeroth homology of two versions of Swiss-cheese Koszul operads. Further they show that the open-closed homotopy algebras operad is non-formal as a 2-colored operad but is formal as an algebra in the category of 2-collections.