Why is there no B sharp in music theory?

In Music Theory, there is no B sharp because it is enharmonically equivalent to the note C. This means that B sharp and C sound the same pitch, so using B sharp would be redundant.