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.
Some time ago, we began distinguish between category: biography
and category: people
; the latter is for people who actually edit the Lab, while the former is for people whose work we want to talk about. (In the case of overlap, they've gone into people
.)
I never really liked that (since we hope that all of the former join the latter eventually, right?), and Urs has been adding lots of people to the latter that should go into the former. I've been changing them, but I've also decided that I'd rather not, especially since Urs might also not really like this distinction. So Urs, if you think that this is an important distinction to maintain, then here's your reminder to put new entries into the correct category.
But if not, well, how's about we consolidate them all back into people
?
Ah, I see. I am not enthusiastic about distinguishing between contributors and non-contributors, but even if we do, I think the non-contributor category shouldn't be called "biography". We have hardly any biographical material at all, and I don't see us producing it on a large scale.
Rather, the entries on other people serve the purpose of collecting nLab links to entries that are related to these people in one way or other.
So I'd suggest we keep putting everybody into the "people"-category and maybe, if really desired, create a new category for (regular?) contributors.
I'll move all of biography
into people
this weekend if nobody objects in the meantime.
Done.
1 to 4 of 4