This chapter presents the category of finite simplicial complexes.
We define an abstract simplicial complex K to be a subset of the power set of some set V of vertices, with the property that if S∈K and T⊂S then T∈K.
For detailed reading on simplicial complexes and their homology, we refer to [Hat02] and [Arm83].
Simplicial complexes may be defined over any SetEnum, however, many of the construction methods operate over SetEnum[RngIntElt]. The handbook refers to such simplicial complexes as normalized.
A simplicial complex carries the category name SmpCpx. Constructors and package internal functions guarantee that the closure under subsets relation is kept intact.