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.
1 to 7 of 7
On the nLab there are several links to a (nonexistent) page monoid object which are then redirected to monoid, while I think they should be redirected to monoid in a monoidal category, since we are talking about internal monoids. How can this be done systematically?
Thanks for the alert. Now I remember that I ran into this before, but forgot to fix it. Have fixed it now.
How can this be done systematically?
I just removed the redirect lines
[[!redirects monoid object]]
[[!redirects monoid objects]]
[[!redirects internal monoid]]
[[!redirects internal monoids]]
[[!redirects algebra object]]
[[!redirects algebra objects]]
from the entry monoid and pasted them into monoid in a monoidal category.
(See at the very bottom of any page, if you haven’t see these redirect clauses in action yet.)
Thanks again for the alert.
Hm, maybe I haven’t fixed it yet, as both pages throw timeout errors on re-saving them. Let’s check in a few minutes if the redirect has been redirected.
Seems to work now. But check.
Thanks! It works now. Just a couple of other things:
(This makes me wonder: did the pages monoid and monoid in a monoidal category use to be the same page?)
Sounds all very reasonable. If you have a minute to spare, please feel invited to improve the link structure a little!
Could be that some of these pages were initially split off as copies of each other. I don’t remember. When you see something that can evidently be improved, don’t hesitate to do so.
Done, I’ve moved the relevant example and updated the link from the pages ring, categories of monoids, and all the pages appearing as examples of internal monoids.
1 to 7 of 7