我们在（3 + 1）d中探索2形拓扑规范理论。 可以将这些理论构建为sigma模型，目标空间为对称群G的第二个分类空间B 2 G，并按B 2 G的同调类进行分类。对于有限对称群，2形拓扑理论具有自然格 解释，我们用它来构造可完全求解的（3 + 1）d晶格哈密顿量模型。 这种构造依赖于引入代数同循环的同构，称为2-形式同同，该同构由B 2 G的单纯同循环来确定，​​这由所谓的Eilenberg-MacLane空间的W构造提供。 我们以代数和几何方式展示了2形式的4同余循环如何归结为G级矢量空间的预模数类别的关联和编织同构。 这用于显示我们的2形量规模型和Walker-Wang模型之间的对应关系。