Vegetable is a culinary category, with no botanical/biological definition. I don’t see a reason why mushrooms don’t belong in it.