This has been mentioned by a couple of people, so you’re not alone. 
I was trying to think of a good way to accommodate this, but we may have to go with no @mention versions. 
Just to check, did you get the @mention notification even though the category was default muted, or did you manually change the level first?