Categories in Horsefly, BC, PI-PP