Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Hi, do you know some mnemotechnic tips to remember definitions and diagram of adjunction ? I'm always confusing left/right, unit/counit, and the direction of the triangle (with Y, F(G(X)) and X)
Hi,
do you know some mnemotechnic tips to remember definitions and diagram of adjunction ? I'm always confusing left/right, unit/counit, and the direction of the triangle (with Y, F(G(X)) and X)