Kapranov 的 sh Leibniz 代数构造

受 Kapranov 在 Kähler 流形切复形上发现 sh Lie 代数结构以及 Chen-Stiénon-Xu 关于与 Lie 对相关的 sh Leibniz 代数构造的启发，我们找到了构造 sh Leibniz 代数的一般方法。设 $\mathcal{A}$ 为交换 dg 代数。给定 $\mathcal{A}$ 的一个取值于 dg 模 $\Omega$ 的导数，我们证明在 $\Omega$ 的对偶模上存在 sh Leibniz 代数结构。此外，我们证明该过程建立了一个从取值于 dg 模的导数范畴到 $\mathcal{A}$ 上的 sh Leibniz 代数范畴的函子。