sformation）。采用这个定义，所有"X"上的"C"-值层构成一个范畴（一个函子范畴）。"X"上的层的一个"同构"就是这个范畴里的一个同构。可以把这个概念推广到不同空间上的层之间的态射。令"f" : "X" → "Y"为一个两个拓扑空间之间的连续函数，并令"F"为"X"上的层且"G"为"Y"上的层，二者都在"C"中取值。那么从"G"到"F"的相对于"f"的态射为一族态射φ : "G"("U") → "F"("f"("U"))对于"Y"中每个开集"U"，使得图对于"Y"中每一对开集"U" ⊆ "