USB alt modeを利用したtype-C端子からの映像出力は、USBの規格上はDisplayPortのみで
出力側の端子形状がHDMIになっているものはケーブル側で変換している

他にも、Thunderbolt経由でHDMIやDPを出力できたり、
USBのビルボードデバイスとしてDisplayLinkがぶら下がっているものもある。後者は性能的・負荷的にはゴミ。