Categories in Tangent, AB, P-PH