|
[____]
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.
[Next][Prev] [Right] [____] [Up] [Index] [Root]
|