Categories in Isabella