Induction Functor

- Mathematics & Logic -
Pure Mathematics Dictionary
A functor that assigns to an object defined over a substructure a canonical induced object over a larger structure, often realised as the left adjoint to restriction or forgetful functors in representation theory, module theory, and related contexts.