In the paper, we prove that the induction functor stemming from every morphism of group coring versus coring has a left adjoint, called ad-induction functor. The separability of the induction functor is characterized, extending some results for corings.
