Categories in Tangent, AB, EH-EO