free graded co-commutative coalgebra

For ${V}^{\u2022}$ a complex of modules over a commutative algebra $A$, the **free graded co-commutative coalgebra** ${\vee}_{A}^{\u2022}V$ over $V$, is the coalgebra (in the sense of co-monoids in complexes of modules) whose underlying complex is the graded-symmetric tensor algebra ${S}_{A}^{\u2022}V$ over $A$, and who co-product is the co-concatenation product.

Revised on July 4, 2009 06:16:20
by Toby Bartels
(71.104.230.172)