I have pondered the fact that a group object is one for which the morphisms into it have a group structure, while a cogroup object is one for which the morphisms out of it have a group structure. Both are defined in terms of groups.

Not true of the homotopy category of spaces! Probably most other homotopy categories as well.

Ok! I wouldn't have thought to check there, thanks!