Locality for quantum principal bundles

In topology, principal bundles are often assumed to be locally trivial. While the original Cartan definition of a principal bundle is inherently global, and has been successfully promoted to noncommutative geometry in the compact/unital setting, the standard concept of local triviality is hard to implement for quantum principal bundles. The goal of this talk is to review the state of the art of the concept of locality for quantum principal bundles. We begin with a guided tour concerning the topology of compact Hausdorff principal bundles. In particular, the difference between the piecewise and local triviality shall be explained. In the main part of the talk, the local triviality of compact quantum principal bundles will be compared with the piecewise triviality of principal comodule algebras. (This is a review talk based on joint works with many collaborators.)