induction functor