Inducción

Una construcción universal que produce un objeto sobre un contexto ambiente mayor a partir de uno definido sobre un subcontexto, caracterizada como adjointe por la izquierda a la restricción (por ejemplo, inducción de módulos o representaciones mediante tensorización con un álgebra inducida), generando el objeto más 'libre' sujeto a las compatibilidades prescritas.