liftToComposedAdjoint