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

Ну да, ТК где-то здесь - "синтез" архитектурного решения как решения уравнения в морфизмах. (Ко)предельные решения как типовые, базовые, минимальные, оптимальные и т.д. Более того, ТК это базовый, объединяющий способ синтеза, т.е. синтез различных способов синтеза. А значит находится в прямой зависимости от _любых_ успехов в этой области. Но по моему замыслу это лишь первый "слой" использования ТК, который позволит "привить" ТК в качестве точного системноинженерного языка. Дальнейшее же развитие этого языка позволит СИ выйти на действительно мощный междисциплинарный уровень, подчинив ей и математизированные науки. Такие вот ньювасюки.