Categories in HIMB