I own a few similar things.
None require HDMI from the cable co and today, right now I have my TV with this.
OTA Coax -> TV Coax input.
Smart box thing like this Sony -> HDMI
You may be getting ahead of yourself here and thinking there is some interaction of the HDMI with this smart box Sony thing but there was none here.