вопрос - а где он это показал?

я прокрутил назад страниц на 10 и ничего подобного не нашел

Я вот ничег оне видел

А он врунишка говорит что have seen

глава 8.7 Profunctors

В главе про контравариантные функторы

Там Reader по второму параметру и Op по первому

Это же Hom-функтор, он его палюбому ранее рассматривал.

Ну я понял что оно связано

видимо надо перечитать на свежую голову хз

Я только (ко)-контравриантные генерики знаю, из-за этого ощущение понимание о чем речь есть, но только на интуитивном уровне. Понимания "я понял" не ощущается

Ко-контра-вариантный генерик является ко-контравариантным эндофунктором в тонкой категории субтайпинга

Alex, возьми ручку и просто распиши все. Можешь начать с контрвариантности, а потом показать что Hom-функтор - это профунктор. Там буквально пару строк и заодно поймешь все.

Если объяснять просто на словах, то получается, что для g: A -> B мы можем менять тип возвращаемого значения с помощью композиции и тип входящего с помощью прекомпозиции.
Тоесть имея f: C -> A и h: B -> D мы можем сделать “бутерброд”: h o g o f. Вот эта “бутербродная” природа и есть профункториальность. Она еквивалентна контрвариантности по первому аргументу (прекомпозиция) и ковариантности по второму (композиция).

Бутербродная природа профункториальности.
От создателей монада - это буррито

Расслоение - это шашлык

это сахар

скорее мясо для шавухи

Профунктор-оптикс какой-то тут развели

Хехехе