Categories in AIfA