The adjunction coming from the Kleisli category. The category of adjunctions for a monad: the Eilenberg-Moore and Kleisli categories as terminal and initial objects.
No download links available.
