Categories in ABK