Profunctor - mrsekut-p

Profunctor

$ H_F: D^\mathrm{op}\times C\to \mathrm{Set}

https://ncatlab.org/nlab/show/profunctor

heteromorphismってなに

https://en.wikipedia.org/wiki/Profunctor

https://golem.ph.utexas.edu/category/2020/01/profunctor_optics_the_categori.html

https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/

https://bartoszmilewski.com/2019/03/27/promonads-arrows-and-einstein-notation-for-profunctors/

http://mbps.hatenablog.com/entry/2015/12/06/112909

https://www.youtube.com/watch?v=P_-9tkQUElk