Here is a look at the various types of HDMI ports and standards
High-Definition Multimedia Interface - Wikipedia
Mini HDMI vs. Micro HDMI - What Are The Key Differences?
TNP Products Mini HDMI (Type C) to HDMI (Type A) Cable (10 Feet) Adapter - High Speed Video Audio AV HDMI Male C to Male a Premium Connector Converter Adaptor Cord Supports
HDMI Mini and Micro Cables: What They Are, How They're Used
Amazon.com: Twozoh Mini HDMI to HDMI Cable 1FT, Short High-Speed HDMI to Mini HDMI Braided Cord Support 3D 4K/60Hz 1080p 720p : Electronics
Mini HDMI cables | AV-Connection
DIY HDMI Cable Parts - Straight Mini HDMI Plug Adapter : ID 3552 : $6.50 : Adafruit Industries, Unique & fun DIY electronics and kits
StarTech.com 6ft 2m Mini DisplayPort to HDMI Cable - 4K 30Hz Mini DP to HDMI Adapter Cable - mDP 1.2 - MDP2HDMM2MB - Monitor Cables & Adapters - CDW.com
Amazon.com: Cable Matters Mini HDMI to HDMI Adapter (HDMI to Mini HDMI Adapter) : Electronics
Cavo HDMI maschio / Mini HDMI maschio - (1 metro) - HDMI Generica su LDLC
Is 'HDMI type C' called 'mini-HDMI'? - Quora
3 IN 1 CAVO HDMI FULL HD 1080P 1.5 M + ADATTATORI MINI HDMI E MICRO
1.5 F HDMI to Mini C Cable | Computer Cable Store
C2G 10ft 4K High Speed 4K HDMI Cable with Ethernet - HDMI to HDMI 2.0 - M/M - 56784 - Audio & Video Cables - CDW.com