On synthetic interpretation of quantum principal bundles