Induktion

Eine universelle Konstruktion, die ein Objekt über einem größeren ambienten Kontext aus einem im Unterkontext definierten Objekt erzeugt, charakterisiert als linksadjungiert zur Restriktion (z. B. Induktion von Modulen oder Darstellungen durch Tensorisierung mit einer induzierten Algebra) und liefert das „freieste“ Objekt unter den vorgegebenen Kompatibilitätsbedingungen.