# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. I have edited the second point under examples on the cogroup page. I replaced what I believe to be an erroneous $\operatorname{hTop}$ with $\operatorname{hTop}_*$, and have included a reference for the claim that there are cogroups in $\operatorname{hTop}_*$ which are not suspensions.

• CommentRowNumber2.
• CommentAuthorTodd_Trimble
• CommentTimeJan 5th 2016

Thanks, Michael. You might already know this, but it is convenient to link to nLab pages like cogroup by placing the page name between double brackets, like this: [[cogroup]].

2. Thanks Todd. I was not aware of this.
• CommentRowNumber4.
• CommentAuthorTodd_Trimble
• CommentTimeJan 5th 2016

I added some minor edits at cogroup, including a warning about possible terminological clashes when applying “co” to the concept of monoid.

• CommentRowNumber5.
• CommentAuthorMike Shulman
• CommentTimeJan 6th 2016

Is it really a terminological “clash” if one usage is strictly more general than the other?

• CommentRowNumber6.
• CommentAuthorTodd_Trimble
• CommentTimeJan 6th 2016
• (edited Jan 6th 2016)

If you can suggest a better word than “clash”, please feel free. I think it becomes a clash after you specialize to a monoidal product different from coproduct, and in any case I don’t think a remark is out of order. “Potential clash”, perhaps?

Edit: The opening sentence had “There can be terminological clashes” which I went ahead and changed to “There are potential terminological clashes”. Which I think is saying the exact same thing, but please go ahead and change again if you want.

• CommentRowNumber7.
• CommentAuthorMike Shulman
• CommentTimeJan 7th 2016

I would just say “note that though cogroup objects make sense only in cocartesian monoidal categories, comonoids make sense in arbitrary monoidal categories. This is because the axioms of a group involve duplication of variables, while the axioms of a monoid don’t.”

(Ok, true, the notion of cogroup object defined on that page doesn’t require coproducts to exist in the category, but it reduces to the case when coproducts exist by using the co-Yoneda embedding. Similarly, a monoid also makes sense in a multicategory, but any multicategory can be embedded in a monoidal category.)