丛映射是丛之间的一个映射,以及 底流形 之间的一个相容映射。假设 和
是两个丛,那么
是一个丛映射,如果存在一个映射 使得对于所有
,
成立。特别地,
在点
上的纤维丛,被映射到
在
上的纤维。
用范畴论的语言来说,上面的图表是交换的。更准确地说,纤维之间的诱导映射必须是纤维范畴中的映射。例如,在向量丛之间的丛映射中, 上的纤维通过一个线性变换映射到
上的纤维。
例如,当 是 光滑流形 之间的光滑映射时,那么
是微分,它是切丛之间的丛映射。在
中的任何点上,
处的切向量通过雅可比矩阵映射到
处的切向量。