USB-C to pofragmentowana kaszana, i "adapter usb-c do hdmi" można zrealizować na kilka różnych sposobów, prawie każdy z jakimś "ale".

Skoro masz thunderbolt3, to najlepiej szukać adaptera bazującego na displayport alternate mode.