以及它们的接合关系（或准确地说表示为差一个同伦）构造出来，单纯集合是抓住这一点的范畴（即纯代数）模型。这类似于拓扑空间的 CW复形模型，本质区别是单纯集合是纯代数的，本身不带任何拓扑（这在给出正式定义后将见到）。为了得到真正的拓扑空间，有一个几何实现函子，取值于紧生成豪斯多夫空间范畴。同伦论中绝大多数关于 CW 复形的结论有类似的单纯复形版本，推广了这些结论。尽管代数拓扑学家大多数仍坚持使用 CW 复形，越来越多的研究者对将单纯集合应用于代数几何学感兴趣，在代数几何中 CW 复形不是自然存在的。Se