https://comonad.com/reader/2008/kan-extensions-ii/
Kan Extensions II: Adjunctions, Composition, Lifting ยท The Comonad Reader
I want to spend some more time talking about Kan extensions, composition of Kan extensions, and the relationship between a monad and the monad generated by a...
kan extensionsadjunctionscompositionliftingcomonad