Mathematical structures of cohomological field theories

Summary: The article presents a generalization of the theory of Z2-graded manifolds to I-graded manifolds, with I being a commutative semiring with certain additional properties. The authors provide a proof of Batchelor's theorem within this generalized framework. To the best of our knowledge, the proof for such a generalization is still lacking, except for some special cases.