adjunction

  • ХабрахабрФото Повесть о стрелке и запятой

    Повесть о стрелке и запятой

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

    Читать далее »


Кнопка «Наверх»