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 of AbstractSimplicialComplexes with appropriate functors.

EXAMPLES:

sage: from sage.categories.simplicial_complexes import SimplicialComplexes
sage: C = SimplicialComplexes(); C
Category of simplicial complexes