We present a derivation-based Atiyah sequence for noncommutative principal bundles. Along the way we treat the problem of deciding when a given ∗∗-automorphism on the quantum base space lifts to a ∗∗-automorphism on the quantum total space that commutes with the underlying structure group.
open access