I think this proposal has enough support here. Since this is the template for requesting RETAGs, I thought I'll just make this thread for all of them.
While we're at it, can we also do math.ct.category-theory -> ct.category-theory
So I've created synonyms for the above, as well as replacing math.ct.category-theory. Since they are synonyms, old tags might stay around for a while. I didn't want to do merges because that messes up the ordering on the front page. There aren't very many posts with these tags in any case, so it shouldn't create a big problem.