Catégories à Tangent, AB, K