单纯集合

数学里，单纯集合（simplical set）是范畴同伦论中一个构造，这是“良态”拓扑空间的一个纯代数模型。历史上，这个模型源自组合拓扑学特别是单纯复形。拓扑空间可从单形以及它们的接合关系（或准确地说表示为差一个同伦）构造出来，单纯集合是抓住这一点的范畴（即纯代数）模型。这类似于拓扑空间的 CW复形模型，本质区别是单纯集合是纯代数的，本身不带任何拓扑（这在给出正式定义后将见到）。