Does B sharp exist in music theory?

Yes, B sharp does exist in Music Theory. It is the enharmonic equivalent of C natural, meaning that they are the same pitch but spelled differently.