Hopf algebras over hopf algebras

Summary In any category with products and a terminal object one may define the notions of group, module over a group etc. if f: R′→R is a homomorphism of groups, and M an R-module, then one has an induced R′-module f*(M). If one is working in the category of sets, one may define a functor left adjoint to f* by N→R⊗_R′ N, where N is an R′-module. In this paper we show that f* has a left adjoint when one is working in the category of graded connected coalgebras over a field.