# Definition

For $V^\bullet$ a complex of modules over a commutative algebra $A$, the free graded co-commutative coalgebra $\vee^\bullet_A 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^\bullet_A V$ over $A$, and who co-product is the co-concatenation product.

Last revised on July 4, 2009 at 06:16:20. See the history of this page for a list of all contributions to it.