Induction

A universal construction that produces an object over a larger ambient context from one defined over a subcontext, characterized as a left adjoint to restriction (e.g., induction of modules or representations via tensoring with an induced algebra), yielding the 'freest' object subject to prescribed compatibilities.