Categories in Carbon, AB, PI-PP