Most USB-C devices really only support DisplayPort for video output.
There's an HDMI "alt mode", but almost no device uses that directly; most USB-C-to-HDMI adapters and cables are accordingly really combined USB-C to DisplayPort and DisplayPort to HDMI converters and translate one protocol to the other at the electrical and logical level.
There's an HDMI "alt mode", but almost no device uses that directly; most USB-C-to-HDMI adapters and cables are accordingly really combined USB-C to DisplayPort and DisplayPort to HDMI converters and translate one protocol to the other at the electrical and logical level.