A note on coinduction functors between categories of comodules for corings

In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case oflocally projective corings as a composition of suitable “Trace” and “Hom” functors and show how to derive it from a moregeneral coinduction functor between categories of type σ[M]. In special cases (e.g. the corings morphism is part of a morphism of measuringa-pairings or the corings have the same base ring), a version of our functor is shown to be isomorphic to the usual coinduction functor obtained by means of the cotensor product. Our results in this note generalize previous results of the author on coinduction functors between categories of comodules for coalgebras over commutative base rings.