X")上。每个连续映射"f" : "X" → "Y"都可导出一个代数同态C("f") : C("Y") → C("X")，经由让每个C("Y")内的&phi，C("f")(φ) = φ o "f"。当空间formula_38带有更多结构（例如光滑流形、复流形）时，定义可以相应地推广。切丛和余切丛：将每个微分流形映射至其切丛中且将每个光滑映射映射至其导数中的映射，为一由微分流形的范畴至向量丛的范畴的协变函子。同样地，将每个微分流形映射至其余切丛中且将每个光滑映射映射至其回拉的映射，为一反变函子。在每个