Headphone audio with Mini DisplayPort to HDMI cable
Yes you can, by going into the system preferences -> Sound.
Then select the tab: Output and select your output there.

As a shortcut you can ALT-click the volume icon in your top bar to quickly switch between outputs.