Several times this week I wished I could find a list of adjunctions and the explicit monad and comonad thereby generated. May as well throw in the algebras thus generated, as well as the Kleisli and Eilenberg-Moore categories. The usefulness would come from having all the definitions properly unwound, so that one would recognize the 'familiar' objects immediately.
|
1 | [made Community Wiki] | ||
|
|
||||
