Catégories à Tangent, AB, SF-ST