В этой статье мы:
- Познакомимся с сопряженными функторами
- Узнаем, как отвечать на вопрос «что такое каррирование»
- Притворимся, что у нас есть состояние (если есть только функции)
- И вдогонку поиграемся с примитивной оптикой (линзами)
И все это с помощью нескольких определений теории категорий и двух простейших конструкций: стрелки и запятой.