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

А если сразу связать с реальным миром? Пока ТК рассматривается как обобщение (как "абстракция над") свойств из разных математических разделов (на разных математических языках) - всегда будет сильнейшая нагрузка из-за дополнительных цепочек абстракций. Если же найти какую-то категорную общность для, например, перемещения по улицам города и правил карточной игры, а затем ещё и ещё, то есть возможность связать категорный язык с восприятием обычного человека. А затем уже работать с более сложными построениями напрямую на категорном языке. Тогда иные разделы математики из "базы для связывания абстракций с абстракциями" переходят в специализации, доступные для изучения при необходимости.