A graded-cocommutative codifferential coalgebra is a cocommutative comonoid in the category of chain complexes (of modules over some ring).
We write $CoDGCA$ for the category of such codifferential coalgebras.
Todd Trimble, nice facts about CoDGCA
Todd Trimble, Sketch of proof that CoDGCA is cartesian closed