Funtor de Inducción

Un funtor que asigna a un objeto definido sobre una subestructura un objeto inducido canónico sobre una estructura mayor, a menudo realizado como el adjunto izquierdo al funtor de restricción u olvido en teoría de representaciones, teoría de módulos y contextos relacionados.