诱导同态

诱导同态是线性映射在张量代数上的开拓。诱导同态满足的自然性，是同伦群的一个重要性质。任意一个带基点的空间之间的映射在同伦群上有诱导同态 ，它满足以下性质：如果还有映射，则。