Comodule-Contramodule Correspondence, Higher Geometry Viewpoint