关于同伦正则单态

同伦单态在文献1]和2]中被提出以后已成为同伦论的一个经典论题.本文引进同伦正则单态的概念,它严格介于同伦单态与同伦等价之间,并且在某种意义下刻划了同伦等价的一个特征.本文在点标拓扑空间的范畴Top~*中讨论,所有基点与常值映射均用*表示.范畴C的一个射j:E→A称为正则单态,如果存在两个射f,g:A→B(对某个B)使得j是f与g的等化子,即fj=gj,且对满足fh=gh的任意射h:X→A,存在唯一的射k:X→E使得jk=h.在Top~*的同伦范畴HTop~*中也就有了正则单态的概念.我们定义一个稍有差别的同伦正则单态的概念如下: