Алексей Воронец - Categorized It. Кратко о теории категорий и функциональном программировании