Categories in Heidelberg, ON, PI-PP