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.
split off “neutral element” from “monoid” (to which it used to be redirecting)
Just such as to clesan up the link structure a little.
hm, only now do I see that we did have identity element which however forgot to redirect “neutral element”.
Another confusion in the entry structure is that algebra entries keep claiming that neutral/identity element are called “units” and pointing to unit, where however something more genral is discussed.
I’ll leave it at that for the moment. If anyone feels energetic, this here to alert that some cleaning up of would be a service to the nLab.
Is there any reason not to redirect neutral element to identity element?
No, only that nobody did. I have explained in #2 what happened.
Moved to history, will redirect to identity element instead.
1 to 5 of 5