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.
I came across bimorphism recently. Since from the discussion on the page it seems very few, if any, people think this is reasonable terminology (it’s unclear to me that the concept itself is interesting at all), might it be reasonable to delete the page? There doesn’t seem any advantage to propagating bad terminology.
(I’m not sure how to link this thread to the relevant nLab page. I thought “Discuss this page” would be sufficient, but apparently not.)
For what it’s worth, even if we assume for the sake of argument the terminology is objectively bad, there is some value in having the reference so that if someone saw the term in the wild they could still come here to find out what it means.
But I don’t really have an opinion on this either way.
My impression is that it’s not common enough terminology that it would be used in a paper without definition. It could still be useful, but having an entry may encourage the unnecessary use of the term.
I have cleared the page, see the thread there.
1 to 5 of 5