Милевски Б. Теория категорий для программистов

Перевод и редактирование Г. Чернышёва. — 461 с.Излагаются основы теории категорий с точки зрения программирования, прежде всего, на языках функционального типа. Доказательства категорных свойств, как правило, не приводятся, но объясняются программными конструкциями. Такая возможность позволяет осветить значительный объем сведений по теории категорий, имеющих полезные применения в прикладных информационных областях, вообще, и в программировании, в частности.