Прежде че дать ссылку на сабж, дисклаймер
Системные требования к мозгу программиста
1. Желание;
2. знание основ ФП;
3. умение читать (по английски);
4. знание основ теории категорий ( в объеме Pierce);
5. готовность потратить как минимум неделю на изучение.
Итак, Comprehending queries
http://w3.ub.uni-konstanz.de/v13/volltexte/1999/312/pdf/312_1.pdf
При соблюдении 1-5 можно узнать, какое отношение катаморизмы имеют к F-алгебре, и почему эта F-алгебра обязательно должна быть начальной. Также об их связи с монадами и monad comprehension. И еще много вкусного.
Кстати, Algebra of programming Bird стоит 650 баков на Amazonе, а эта книжка вроде не хуже, и нахаляву.
Просьба не бить ногами, особенно тем, кто не прочитал.