On the infinity category of homotopy Leibniz algebras

David Khudaverdyan, Norbert Poncin, Jian Qiu

We discuss various concepts of $\infty$-homotopies, as well as the relations between them (focussing on the Leibniz type). In particular $\infty$-$n$-homotopies appear as the $n$-s…