的模型；更精确地说，这个代数是 formula_1 的复形与实数域的张量积，因而确定了 formula_1 的实同伦型。同理还可更进一步定义p进同伦型以及adelic同伦型，并与有理同伦型相比较。以上对于单连通空间的结论可以轻易延伸到幂零空间（即基本群为幂零群、且对高阶同伦群的作用也是幂零的空间）。对于拥有更一般基本群的空间，事情变得比较棘手，因为即使对于CW复形，并要求每一维度上的胞腔数目都有限，其高阶同伦群仍可以是无限生成的。
形式空间.一个可交换微分分次代数 formu