It does seem reasonable that a tool designed for linking products into categories should be able to show all categories, even if they are currently empty.

Is there a downside to having them all show? (Beside the obvious possibility of a bloated list.) Something to consider for the admin rework...

You would want to limit the categories to ones that don't have subcats.