я не очень понимаю, как такой вопрос вообще можно ставить. разве ТК решает какие-то содержательные вопросы "самостоятельно", а не только "формально-описательно"? Это о существовании в ТК каких-то самостоятельных результатов, которые можно было бы применять к разным областям математики произвольно (мне вообще только Йонеда вспоминается лемма, но я и не шарю особо в ТК, поэтому вопрос к знатокам)