Categories in IJCLab