Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
We should change the tag "model-category" to "model-categories" so it follows the convention established by "stacks", "schemes", "sheaves", "accessible-categories", etc.
Do the moderators have the ability to rename / merge tags without bumping? There are, by my count, over 130 tags associated to a single question each, and I have no doubt that many of them could fruitfully be merged into existing tags.
The moderators can merge one tag into another, without doing any bumping. In particular, we can easily implement Harry's suggestion, and will do so shortly if there aren't any objections.
Combinatorial geometry is not the same as discrete geometry. In particular, the theory of simplicial sets is combinatorial geometry (and topology), but it is certainly not discrete by any stretch of the word.
delete the eight tags containing 'geom' that have zero posts
Tags with zero posts are cleaned up automatically roughly once per day.
1 to 11 of 11