Induction

Une construction universelle qui produit un objet sur un contexte ambiant plus large à partir d'un objet défini sur un sous-contexte, caractérisée comme adjointe à gauche de la restriction (par exemple induction de modules ou de représentations via tensorisation avec une algèbre induite), fournissant l'objet le plus libre soumis aux compatibilités prescrites.