Categories in Guy, AB, P-PH