Dyadic Diophantine Approximation and Katok's Horseshoe Approximation