Обзор, посвящённый применению элементов теории категорий в программировании, завершён. Настало время подвести его итоги. Читать далее