This lecture introduces the concept of restriction functors, which are a general type of functor between categories of G-objects, where G varies, defined with respect to a given group homomorphism. The instructor defines the notion of restriction functor and demonstrates that such a functor always has a left adjoint, specifically when the underlying category is the category of sets.