Categories in Milner, BC, PI-PP