诱导同态是线性映射在张量代数上的开拓。诱导同态满足的自然性，是同伦群的一个重要性质。