search

BartoszMilewski / Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
1.24k stars 38 forks source link

Definition of q in the "Free Tambara" slide of "ProfunctorOptics-LambdaWorld2017.pdf" #1

Closed jmgimeno closed 5 years ago

jmgimeno commented 5 years ago

In this slide the definition of q x y is (a->x, y->b), shouldn't this be (x->a, b->y), that is, the ProReader profunctor?

Thanks !!!

BartoszMilewski commented 5 years ago

You're right. Fixed!