Funny you should mention this, we just emergency neutered a jack russel on Friday who was regularly humping a client's cat's head. I guess it had enough, so that day it bit the dog's abdomen and testicles. OUCH is all I have to say.
If Tyson isn't neutered he'll continue to hump, and more vigorously as he gets older. I'd give him something else to hump like a stuffed toy, your cat may be ok with it for now, but eventually it gets old...