Koszul complex for linear monoidal functors
摘要
We introduce regular sequences and associated Koszul resolutions for monoids in the category of functors over an essentially small linear symmetric monoidal category. Next we define polynomials over such monoids. We compute the Hochschild cohomology functors and prove a relative analog of Hilbert’s syzygy theorem for polynomials over tensor idempotent commutative monoids.