https://123dok.org/document/dzx29edq-quantum-principal-bundles-on-projective-bases.html