Categories in Maple, ON, PI-PP