Is there a notion of algebraic geometry for these objects? If we take the dual category of the category of cocommutative corings with counit, is there geometry in it in a sense dua …