群可以探测可定向性：该群同构于整数或者0，分别在流形可定向和不可定向时。这样，很多拓扑信息可以在给定拓扑空间的同调中找到。在只定义在单纯复形的单纯同调之上，还可以使用光滑流形的微分结构来通过德拉姆上同调或Čech上同调或层上同调来研究定义在流形上的微分方程的可解性。德拉姆证明所有这些方法是相互关联的，并且对于闭可定向流形，通过单纯同调得出的贝蒂数和从德拉姆上同调导出的是一样的。
在范畴论中.一般来讲，所有代数几何的构造都是函子式的：概念范畴，函子和自然变换起源于此。基本群，同调