The study of connections on noncommutative
principal bundles has been initiated in [1]} and
developed further by the introduction of strong connections in [2]}, [3]}.
This framework has been extended beyond Hopf algebras in [4]}, [5]}
and then formalized in terms of principal coalgebra extensions in [6]} and
principal comodule algebras in [7]}.
