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

Моя цель вообще-то более прагматичная. Хочу быть разработчиком на ФЯ. Изучаю Haskell и теорию категорий. Но не хватает математического бэкграунда. :)

но для разработки ТК не нужна

для разработки на Хаскеле достаточно Хаскеля

Ну как, понятия из ТК просачиваются во все языки и особенно в Хаскель. Он как магистральный трубопровод ))

да, стоять на трубе и смотреть в будущее программирования круто, только разрабатывать прямо сейчас это мало помогает

Хотя бы основы надо понимать. Чтобы не быть быдлокодером, заучивающим где какие стрелочки ставить

Сильно углубляться в ТК конечно при всем желании не получится. Это мне надо откатываться к основам математики - теории множеств, абстактной алгебре, теории групп, колец, полей и т.д.

В хаскеле только иногда используются очень-очень частные случаи из ТК. Чтобы была польза от общности, надо ТК для чего-то ещё применять тогда

Потому что в вузе на заочке сами знаете как все это подают.

И сам лентяйничал в молодые  годы )

Надо немного разделять интересы. Если хотите кодить на хаскеле - учите хаскель, инструменты, подходы, приёмы. Если же хотите знать тк - учите тк. Оно не так сильно пересекается, как Вам кажется

а вот это уже ближе к Хаскелю. как минимум полугруппы с моноидами

но это не ТК, а алгебра

Ну вот, пройду курс по алгебре и ТК. И хватит. Начну фигачить на Haskell гениальные программы ))

не нужно

не поможет

ТК /= лекарство от быдлокодерства)

Не ну реально помогает. Ты смотришь на код и думаешь категорно. Напр, тебе уже понятно, что ЯП со слабой типизацией - это по сути моноиды. Смотришь на функцию в Haskell и понимаешь, что это мономорфизм или эпиморфизм? Это помогает принимать решения при конструировании кода.

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

Поэтому иногда, чтобы понять дизайн и мотивацию отдельного конструкта, стоит знать базовые концепты и историю пейперов по теме. Но чтобы пользоваться - не нужно