The Hopf algebra $Rep U_q \hat{gl}_\infty$