a coalgebras over fields question.

Hi, I have heard that naive questions are allowed at the cat list, so here goes: The diagonal map in spaces often gives a co-commutative diagonal map in homology, so I want to understand the special properties of the category of co-commutative coalgebras. It seems to be a "well-known fact" that the category of co-commutative coalgebras over a field is a cartesian closed category, but I can't seem to find much discussion of the internal hom. Can you suggest any reference? Thanks, Terry Bisson [For admin and other information see: http://www.mta.ca/~cat-dist/ ]