Categories within IRLE