Here are some other isomorphisms written in Haskell ...
This is associativity ... And this is the left unit
...These two functions correspond to the associator ... and the right unitor
Shouldn't that be the left unitor then?
Also, is it worth mentioning that left and right unitor match the snd and fst projections respectively?!
BartoszMilewski
commented
2 years ago
Page 34 says:
Here are some other isomorphisms written in Haskell ... This is associativity ... And this is the left unit ...These two functions correspond to the associator ... and the right unitor
Shouldn't that be the left unitor then? Also, is it worth mentioning that left and right unitor match the snd and fst projections respectively?!