Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Thanks!
Moved examples and other material to the page monoid in a monoidal category’
A question on language; isn’t it confusing in a natively homotopy-theoretic context to give unadorned terms like “monoid” a default interpretation that is effectively “… object in Set” rather than “… object in $\infty\! Gpd$”?
I suppose one might argue that the implicit infinity-category convention should extend to writing “monoid” for $A_\infty$-space, but I haven’t heard anyone suggest it before.
(note that #6 is meant to be about the HoTT topic page on “Monoid”)
added pointer to:
Martín Escardó, The Types of Magmas and Monoids, §4 in: Introduction to Univalent Foundations of Mathematics with Agda [arXiv:1911.00580, webpage]
1 to 10 of 10