Degrees of categoricity and the hyperarithmetic hierarchy