Kan Extensions II: Adjunctions, Composition, Lifting · HackerTrans