Без заголовка

Все правильно Вы говорите. С одним маленьким отличием: ТК успешно и реально используется для построения тех самых попарных интеграций, которые по Вашим словам должны ее "порвать". А вот не рвут, наоборот используют. Связано это с простой вещью: ТК положила в свою основу то, что независимо и с трудом было переоткрыто в разных дисциплинах: роль и методика морфизмов. Так что да, обычно такие вещи получаются тухлыми. Единственно потому, что хорошие вещи такого масштаба делать очень и очень трудно.