There's a Category Search hyperlink in the upper right corner of the category pages. I use it often, but it's so tiny that it would be easy to overlook. Maybe it can be made more prominent on all category pages. (It's highlighted on the Categorization Help page, but that's not where I go to look for categories.)