Categories in ENLIGHT