Simplicial Complexes¶
-
sage.categories.simplicial_complexes.
SimplicialComplexes
¶ The category of abstract simplicial complexes.
An abstract simplicial complex \(A\) is a collection of sets \(X\) such that:
- \(\emptyset \in A\),
- if \(X \subset Y \in A\), then \(X \in A\).
Todo
Implement the category of simplicial complexes considered as
CW complexes
and rename this to the category ofAbstractSimplicialComplexes
with appropriate functors.EXAMPLES:
sage: from sage.categories.simplicial_complexes import SimplicialComplexes sage: C = SimplicialComplexes(); C Category of simplicial complexes