rereading until functoriality of comodules