单交换模型

simplicial commutative model