There are HDBaseT single-cat5 HDMI solutions with IR built in. But if you're going RF remote anyway, there are cheaper single-cable extenders. All of them, though, are more expensive than the dual-cable solutions.
Hopefully the HDBaseT chip will become more available and at a lower price point...
Jeff