层同态

层同态(sheaf homomorphism)是两类之间的映射诱导出的一个群同态。设(F，π，X)与(F′，π′，X)是X上的两个群层，若连续映射A:F→F′满足π′A=π，且对所有x∈X，由A在茎上诱导出的映射Ax:Fx→Fx′是群同态，则称A为一个层同态。若层同态A是同胚，且A-1也是层同态，则称A为层同构。