Ho guardato e guardato e non ne vedo uno. Non esistono?
Posso suggerire di non cercare un cavo con un'estremità HDMI "femmina" su di esso (in genere si chiamerebbero "adattatori" e sarebbe molto breve.) Invece, cerca un cavo a lunghezza intera con mini-DisplayPort a HDMI. Ad esempio:
link
Leggi altre domande sui tag display hdmi