There are full-size, mini and micro HDMI connectors... though I have a hard time imagining why a dedicated BD player would use either of the mobile-oriented connector variants.
There is also a wider dual-link HDMI connector spec but seems to be deprecated - never got any meaningful adoption, effectively obsolesced by HDMI 1.4/2.0.