CW Complexes#
- class sage.categories.cw_complexes.CWComplexes#
Bases:
Category_singleton
The category of CW complexes.
A CW complex is a Closure-finite cell complex in the Weak topology.
REFERENCES:
Note
The notion of “finite” is that the number of cells is finite.
EXAMPLES:
sage: from sage.categories.cw_complexes import CWComplexes sage: C = CWComplexes(); C Category of CW complexes
- Compact_extra_super_categories()#
Return extraneous super categories for
CWComplexes().Compact()
.A compact CW complex is finite, see Proposition A.1 in [Hat2002].
Todo
Fix the name of finite CW complexes.
EXAMPLES:
sage: from sage.categories.cw_complexes import CWComplexes sage: CWComplexes().Compact() # indirect doctest Category of finite finite dimensional CW complexes sage: CWComplexes().Compact() is CWComplexes().Finite() True
- class Connected(base_category)#
Bases:
CategoryWithAxiom
The category of connected CW complexes.
- class ElementMethods#
Bases:
object
- dimension()#
Return the dimension of
self
.EXAMPLES:
sage: from sage.categories.cw_complexes import CWComplexes sage: X = CWComplexes().example() sage: X.an_element().dimension() 2
- class Finite(base_category)#
Bases:
CategoryWithAxiom
Category of finite CW complexes.
A finite CW complex is a CW complex with a finite number of cells.
- class ParentMethods#
Bases:
object
- dimension()#
Return the dimension of
self
.EXAMPLES:
sage: from sage.categories.cw_complexes import CWComplexes sage: X = CWComplexes().example() sage: X.dimension() 2
- extra_super_categories()#
Return the extra super categories of
self
.A finite CW complex is a compact finite-dimensional CW complex.
EXAMPLES:
sage: from sage.categories.cw_complexes import CWComplexes sage: C = CWComplexes().Finite() sage: C.extra_super_categories() [Category of finite dimensional CW complexes, Category of compact topological spaces]
- class FiniteDimensional(base_category)#
Bases:
CategoryWithAxiom
Category of finite dimensional CW complexes.
- class ParentMethods#
Bases:
object
- cells()#
Return the cells of
self
.EXAMPLES:
sage: from sage.categories.cw_complexes import CWComplexes sage: X = CWComplexes().example() sage: C = X.cells() sage: sorted((d, C[d]) for d in C.keys()) [(0, (0-cell v,)), (1, (0-cell e1, 0-cell e2)), (2, (2-cell f,))]
- dimension()#
Return the dimension of
self
.EXAMPLES:
sage: from sage.categories.cw_complexes import CWComplexes sage: X = CWComplexes().example() sage: X.dimension() 2
- class SubcategoryMethods#
Bases:
object
- Connected()#
Return the full subcategory of the connected objects of
self
.EXAMPLES:
sage: from sage.categories.cw_complexes import CWComplexes sage: CWComplexes().Connected() Category of connected CW complexes
- FiniteDimensional()#
Return the full subcategory of the finite dimensional objects of
self
.EXAMPLES:
sage: from sage.categories.cw_complexes import CWComplexes sage: C = CWComplexes().FiniteDimensional(); C Category of finite dimensional CW complexes
- super_categories()#
EXAMPLES:
sage: from sage.categories.cw_complexes import CWComplexes sage: CWComplexes().super_categories() [Category of topological spaces]