Categories in Tangent, AB, D