是相互科祖对偶的。这个结论实际上是奎伦在有理同伦论中发现的，他还证明，在有理系数下，这两个代数组成的范畴都和拓扑中的有理同伦型（rational homotopy type）组成的范畴是等价的（有一些单连通性条件）。后来 Sullivan通过考察流形的微分形式，得到了类似的结果，但是更几何，更直观。
A无穷范畴.考虑一个范畴formula_54。对于其中的四个对象及其之间态射formula_55我们有formula_56这显示了这些态射之间有一种结合性。一个A无穷范畴就是打破这些结