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

Да, "детская популярная литература". Увы, не так популярно, как у Бабата. Там функциональное программирование в следующих же разделах поминается, а потом и теория категорий — правда, только поминаются, не раскрываются.