Контринтуитивное: оказывается теория категорий - казалось бы, просто абстрактные кружочки без содержания, стрелочки и композиция - по сложности куда круче чем теория типов! Очень сложна, хотя и совсем по-другому.

В типах всё просто: терм, тип, правило вывода, пруф. Сложность по большому счёту больше на уровне синтаксиса. А в теоркате куча смыслов: класс объектов, класс морфизмов, законы композиции, универсальные свойства, функториальность, натуральность, эквивалентности вместо равенств, уровни абстракции поверх уровней абстракции...
Внешне мало символов, но смысловая плотность огромная. И перейти на уровни понимания универсальных свойств программистам например очень тяжело.

Но зато какой это космический буст для прокачки скилла архитекторства и системного мышления! Думаем всегда мыслью "какую роль эта штука играет среди всех других штук?" -- и формально!
Это Искусство видеть многоуровневые структуры в абстрактном хаосе.

Например прокачавшись в теоркате вы будете постоянно получать инсайты в своих проектах "так это же вообще одна и та же конструкция/паттерн в 12 разных местах!"

Теория категорий -- это самый мощный на сегодня и при этом очень жёсткий язык сверхсжатого мышления, где за одной стрелкой может стоять целая вселенная.