半自由微分graded交换代数与强 homotopy Lie-Rinehart 对的 pro-不可约扩张

引入半可约扩张微分graded交换代数的范畴。Chevalley-Eilenberg 构造提供了其特定全子范畴与强 homotopy Lie Rinehart 对的反范畴之间的等价性，这些对由 $(A,M)$ 组成，其中 $M$ 作为 graded $A$-模是平坦的。我们证明了由 $(A,M)$ 组成的范畴，其中 $A$ 为半自由 dgca，$M$ 为 $\op{Mod}(A)$ 中的细胞复合物，通过证明它们的 Chevalley-Eilenberg 复合物形成良好对象范畴。