Lenses: Yoneda with Adjunctions #1 Post by hectorxp » Tue, Sep 06, 2016, 4:05 PM UTC Lenses: Yoneda with Adjunctionsbartoszmilewski.com