微分分次代数、Steenrod一杯积、二项运算与Massey积

受空间中奇异上链代数与非交换微分形式代数中Steenrod杯-$i$积构造的启发，我们定义了整数上及正特征素域上的二项杯一微分分次代数范畴。Steenrod与Hirsch恒等式将杯积、杯一积与微分绑定为一个结构包，我们进一步用源自整值有理多项式环的二项环结构增强之。该结构使我们能定义由集合生成的自由二项杯一微分分次代数并推导其基本性质。它也为定义受限三重Massey积提供了背景，后者比经典Massey积具有更小的不确定性，从而给出更强的同伦型不变量。