Categories in Hylo, AB, PI-PP