一基本广群，而无法一定有一基本群。连续函数的代数：一个由拓朴空间的范畴（其态射为连续映射）至实结合代数的范畴的反变函子，其将每个拓朴空间"X"映射至此空间上所有实变连续函数的代数C("X")上。每个连续映射"f" : "X" → "Y"都可导出一个代数同态C("f") : C("Y") → C("X")，经由让每个C("Y")内的&phi，C("f")(φ) = φ o "f"。当空间formula_38带有更多结构（例如光滑流形、复流形）时，定义可以相应地推广。切丛和余切丛：将每个微分流形映射至其