Categories in HoPE